| Index: sdk/lib/_internal/pub/lib/src/barback/web_socket_api.dart
|
| diff --git a/sdk/lib/_internal/pub/lib/src/barback/web_socket_api.dart b/sdk/lib/_internal/pub/lib/src/barback/web_socket_api.dart
|
| index 6953d7c02b1b444ce5c52bb07a6dc6f82522a3f1..7952dcf9efabbf63cbf15ba62039f8824526e2ea 100644
|
| --- a/sdk/lib/_internal/pub/lib/src/barback/web_socket_api.dart
|
| +++ b/sdk/lib/_internal/pub/lib/src/barback/web_socket_api.dart
|
| @@ -7,6 +7,7 @@ library pub.barback.web_socket_api;
|
| import 'dart:async';
|
| import 'dart:io';
|
|
|
| +import 'package:http_parser/http_parser.dart';
|
| import 'package:path/path.dart' as path;
|
| import 'package:json_rpc_2/json_rpc_2.dart' as json_rpc;
|
|
|
| @@ -19,7 +20,7 @@ import 'asset_environment.dart';
|
| /// This is a [JSON-RPC 2.0](http://www.jsonrpc.org/specification) server. Its
|
| /// methods are described in the method-level documentation below.
|
| class WebSocketApi {
|
| - final WebSocket _socket;
|
| + final CompatibleWebSocket _socket;
|
| final AssetEnvironment _environment;
|
| final _server = new json_rpc.Server();
|
|
|
|
|