Remove the unused class SingleContextManager

pkg/analysis_server/lib/src/socket_server.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:analysis_server/protocol/protocol.dart';
 import 'package:analysis_server/protocol/protocol_generated.dart';
 import 'package:analysis_server/src/analysis_server.dart';
 import 'package:analysis_server/src/channel/channel.dart';
 import 'package:analysis_server/src/plugin/server_plugin.dart';
 import 'package:analysis_server/src/server/diagnostic_server.dart';
@@ skipping 18 matching lines @@
    * The function used to create a new SDK using the default SDK.
    */
   final DartSdkManager sdkManager;
 
   final DartSdk defaultSdk;
   final InstrumentationService instrumentationService;
   final DiagnosticServer diagnosticServer;
   final ServerPlugin serverPlugin;
   final ResolverProvider fileResolverProvider;
   final ResolverProvider packageResolverProvider;
-  final bool useSingleContextManager;
 
   /**
    * The analysis server that was created when a client established a
    * connection, or `null` if no such connection has yet been established.
    */
   AnalysisServer analysisServer;
 
   /**
    * The plugins that are defined outside the analysis_server package.
    */
   List<Plugin> userDefinedPlugins;
 
   SocketServer(
       this.analysisServerOptions,
       this.sdkManager,
       this.defaultSdk,
       this.instrumentationService,
       this.diagnosticServer,
       this.serverPlugin,
       this.fileResolverProvider,
-      this.packageResolverProvider,
-      this.useSingleContextManager);
+      this.packageResolverProvider);
 
   /**
    * Create an analysis server which will communicate with the client using the
    * given serverChannel.
    */
   void createAnalysisServer(ServerCommunicationChannel serverChannel) {
     if (analysisServer != null) {
       RequestError error = new RequestError(
           RequestErrorCode.SERVER_ALREADY_STARTED, "Server already started");
       serverChannel.sendResponse(new Response('', error: error));
@@ skipping 19 matching lines @@
         resourceProvider,
         new PubPackageMapProvider(resourceProvider, defaultSdk),
         createMemoryIndex(),
         serverPlugin,
         analysisServerOptions,
         sdkManager,
         instrumentationService,
         diagnosticServer: diagnosticServer,
         fileResolverProvider: fileResolverProvider,
         packageResolverProvider: packageResolverProvider,
-        useSingleContextManager: useSingleContextManager,
         rethrowExceptions: false);
     analysisServer.userDefinedPlugins = userDefinedPlugins;
   }
 }