Adjust server for API changes

pkg/analysis_server/lib/src/domain_server.dart

Index: pkg/analysis_server/lib/src/domain_server.dart
diff --git a/pkg/analysis_server/lib/src/domain_server.dart b/pkg/analysis_server/lib/src/domain_server.dart
index 9f9867b14902251db335d619211c412f7f3c14fb..bc54a9b0d2a6f1b4b019392a31882d52c610aa16 100644
--- a/pkg/analysis_server/lib/src/domain_server.dart
+++ b/pkg/analysis_server/lib/src/domain_server.dart
@@ -27,11 +27,11 @@ class ServerDomainHandler implements RequestHandler {
   Response handleRequest(Request request) {
     try {
       String requestName = request.method;
-      if (requestName == METHOD_GET_VERSION) {
+      if (requestName == SERVER_GET_VERSION) {
         return getVersion(request);
-      } else if (requestName == METHOD_SET_SERVER_SUBSCRIPTIONS) {
+      } else if (requestName == SERVER_SET_SUBSCRIPTIONS) {
           return setSubscriptions(request);
-      } else if (requestName == METHOD_SHUTDOWN) {
+      } else if (requestName == SERVER_SHUTDOWN) {
         return shutdown(request);
       }
     } on RequestFailure catch (exception) {