| 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 import 'dart:async'; | 5 import 'dart:async'; |
| 6 import 'dart:io'; | 6 import 'dart:io'; |
| 7 | 7 |
| 8 import 'package:http_parser/http_parser.dart'; | |
| 9 import 'package:shelf/shelf.dart' as shelf; | 8 import 'package:shelf/shelf.dart' as shelf; |
| 10 import 'package:shelf_web_socket/shelf_web_socket.dart'; | 9 import 'package:shelf_web_socket/shelf_web_socket.dart'; |
| 10 import 'package:web_socket_channel/web_socket_channel.dart'; |
| 11 | 11 |
| 12 import '../io.dart'; | 12 import '../io.dart'; |
| 13 import '../log.dart' as log; | 13 import '../log.dart' as log; |
| 14 import 'asset_environment.dart'; | 14 import 'asset_environment.dart'; |
| 15 import 'base_server.dart'; | 15 import 'base_server.dart'; |
| 16 import 'web_socket_api.dart'; | 16 import 'web_socket_api.dart'; |
| 17 | 17 |
| 18 /// The web admin interface to pub serve. | 18 /// The web admin interface to pub serve. |
| 19 // TODO(rnystrom): Currently this just provides access to the Web Socket API. | 19 // TODO(rnystrom): Currently this just provides access to the Web Socket API. |
| 20 // See #16954. | 20 // See #16954. |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 60 | 60 |
| 61 /// Creates a web socket for [request] which should be an upgrade request. | 61 /// Creates a web socket for [request] which should be an upgrade request. |
| 62 void _handleWebSocket(WebSocketChannel channel) { | 62 void _handleWebSocket(WebSocketChannel channel) { |
| 63 _webSockets.add(channel); | 63 _webSockets.add(channel); |
| 64 var api = new WebSocketApi(channel, environment); | 64 var api = new WebSocketApi(channel, environment); |
| 65 api.listen() | 65 api.listen() |
| 66 .whenComplete(() => _webSockets.remove(channel)) | 66 .whenComplete(() => _webSockets.remove(channel)) |
| 67 .catchError(addError); | 67 .catchError(addError); |
| 68 } | 68 } |
| 69 } | 69 } |
| OLD | NEW |