| 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 http.server; | 5 library http.server; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:io'; | 8 import 'dart:io'; |
| 9 | 9 |
| 10 import 'package:analysis_server/src/channel/web_socket_channel.dart'; | 10 import 'package:analysis_server/src/channel/web_socket_channel.dart'; |
| (...skipping 90 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 101 } | 101 } |
| 102 }); | 102 }); |
| 103 } | 103 } |
| 104 | 104 |
| 105 /** | 105 /** |
| 106 * Handle an UPGRADE request received by the HTTP server by creating and | 106 * Handle an UPGRADE request received by the HTTP server by creating and |
| 107 * running an analysis server on a [WebSocket]-based communication channel. | 107 * running an analysis server on a [WebSocket]-based communication channel. |
| 108 */ | 108 */ |
| 109 void _handleWebSocket(WebSocket socket) { | 109 void _handleWebSocket(WebSocket socket) { |
| 110 socketServer.createAnalysisServer( | 110 socketServer.createAnalysisServer( |
| 111 new WebSocketServerChannel(socket, socketServer.instrumentationServer)); | 111 new WebSocketServerChannel(socket, socketServer.instrumentationService))
; |
| 112 } | 112 } |
| 113 | 113 |
| 114 /** | 114 /** |
| 115 * Return an error in response to an unrecognized request received by the HTTP | 115 * Return an error in response to an unrecognized request received by the HTTP |
| 116 * server. | 116 * server. |
| 117 */ | 117 */ |
| 118 void _returnUnknownRequest(HttpRequest request) { | 118 void _returnUnknownRequest(HttpRequest request) { |
| 119 HttpResponse response = request.response; | 119 HttpResponse response = request.response; |
| 120 response.statusCode = HttpStatus.NOT_FOUND; | 120 response.statusCode = HttpStatus.NOT_FOUND; |
| 121 response.headers.add(HttpHeaders.CONTENT_TYPE, "text/plain"); | 121 response.headers.add(HttpHeaders.CONTENT_TYPE, "text/plain"); |
| 122 response.write('Not found'); | 122 response.write('Not found'); |
| 123 response.close(); | 123 response.close(); |
| 124 } | 124 } |
| 125 } | 125 } |
| OLD | NEW |