| Index: sdk/lib/io/websocket.dart
|
| diff --git a/sdk/lib/io/websocket.dart b/sdk/lib/io/websocket.dart
|
| index 994fdec7dc4505bb3aa706fa859505fbd1966fec..370d694f0b04de4d0a50b0a89cb9f5241298d8d0 100644
|
| --- a/sdk/lib/io/websocket.dart
|
| +++ b/sdk/lib/io/websocket.dart
|
| @@ -153,7 +153,7 @@ abstract class WebSocket implements Stream, StreamSink {
|
| }
|
|
|
|
|
| -class WebSocketException implements Exception {
|
| +class WebSocketException implements IOException {
|
| const WebSocketException([String this.message = ""]);
|
| String toString() => "WebSocketException: $message";
|
| final String message;
|
|
|