| Index: runtime/bin/vmservice/server.dart
|
| diff --git a/runtime/bin/vmservice/server.dart b/runtime/bin/vmservice/server.dart
|
| index 8204cb9d0cae221e290c7f72e6ba8144710510ed..4e4c54ae2b9e4714f41b31964376179bd3147501 100644
|
| --- a/runtime/bin/vmservice/server.dart
|
| +++ b/runtime/bin/vmservice/server.dart
|
| @@ -173,8 +173,7 @@ class Server {
|
| request.uri.path == '/' ? ROOT_REDIRECT_PATH : request.uri.path;
|
|
|
| if (path == WEBSOCKET_PATH) {
|
| - WebSocketTransformer.upgrade(request,
|
| - compression: CompressionOptions.OFF).then(
|
| + WebSocketTransformer.upgrade(request).then(
|
| (WebSocket webSocket) {
|
| new WebSocketClient(webSocket, _service);
|
| });
|
|
|