| 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; | |
| 6 | |
| 7 import 'package:analysis_server/protocol/protocol.dart'; | 5 import 'package:analysis_server/protocol/protocol.dart'; |
| 8 import 'package:analysis_server/protocol/protocol_generated.dart'; | 6 import 'package:analysis_server/protocol/protocol_generated.dart'; |
| 9 import 'package:analysis_server/src/analysis_server.dart'; | 7 import 'package:analysis_server/src/analysis_server.dart'; |
| 10 import 'package:analysis_server/src/constants.dart'; | 8 import 'package:analysis_server/src/constants.dart'; |
| 11 | 9 |
| 12 /** | 10 /** |
| 13 * Instances of the class [ServerDomainHandler] implement a [RequestHandler] | 11 * Instances of the class [ServerDomainHandler] implement a [RequestHandler] |
| 14 * that handles requests in the server domain. | 12 * that handles requests in the server domain. |
| 15 */ | 13 */ |
| 16 class ServerDomainHandler implements RequestHandler { | 14 class ServerDomainHandler implements RequestHandler { |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 64 | 62 |
| 65 /** | 63 /** |
| 66 * Cleanly shutdown the analysis server. | 64 * Cleanly shutdown the analysis server. |
| 67 */ | 65 */ |
| 68 Response shutdown(Request request) { | 66 Response shutdown(Request request) { |
| 69 server.shutdown(); | 67 server.shutdown(); |
| 70 Response response = new ServerShutdownResult().toResponse(request.id); | 68 Response response = new ServerShutdownResult().toResponse(request.id); |
| 71 return response; | 69 return response; |
| 72 } | 70 } |
| 73 } | 71 } |
| OLD | NEW |