OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 library domain.server; | 5 library domain.server; |
6 | 6 |
7 import 'package:analysis_server/plugin/protocol/protocol.dart'; | 7 import 'package:analysis_server/protocol/protocol.dart'; |
| 8 import 'package:analysis_server/protocol/protocol_generated.dart'; |
8 import 'package:analysis_server/src/analysis_server.dart'; | 9 import 'package:analysis_server/src/analysis_server.dart'; |
9 import 'package:analysis_server/src/constants.dart'; | 10 import 'package:analysis_server/src/constants.dart'; |
10 | 11 |
11 /** | 12 /** |
12 * Instances of the class [ServerDomainHandler] implement a [RequestHandler] | 13 * Instances of the class [ServerDomainHandler] implement a [RequestHandler] |
13 * that handles requests in the server domain. | 14 * that handles requests in the server domain. |
14 */ | 15 */ |
15 class ServerDomainHandler implements RequestHandler { | 16 class ServerDomainHandler implements RequestHandler { |
16 /** | 17 /** |
17 * The analysis server that is using this handler to process requests. | 18 * The analysis server that is using this handler to process requests. |
(...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
63 | 64 |
64 /** | 65 /** |
65 * Cleanly shutdown the analysis server. | 66 * Cleanly shutdown the analysis server. |
66 */ | 67 */ |
67 Response shutdown(Request request) { | 68 Response shutdown(Request request) { |
68 server.shutdown(); | 69 server.shutdown(); |
69 Response response = new ServerShutdownResult().toResponse(request.id); | 70 Response response = new ServerShutdownResult().toResponse(request.id); |
70 return response; | 71 return response; |
71 } | 72 } |
72 } | 73 } |
OLD | NEW |