| Index: client/html/generated/html/frog/WebSocket.dart
|
| diff --git a/client/html/generated/html/frog/WebSocket.dart b/client/html/generated/html/frog/WebSocket.dart
|
| index 740d5cb80550cae4664babfd052c104a10ec7a37..e82b06e262a322e260f4f80cff992596d2a78080 100644
|
| --- a/client/html/generated/html/frog/WebSocket.dart
|
| +++ b/client/html/generated/html/frog/WebSocket.dart
|
| @@ -1,6 +1,9 @@
|
|
|
| class _WebSocketImpl extends _EventTargetImpl implements WebSocket native "*WebSocket" {
|
|
|
| + _WebSocketEventsImpl get on() =>
|
| + new _WebSocketEventsImpl(this);
|
| +
|
| static final int CLOSED = 3;
|
|
|
| static final int CLOSING = 2;
|
| @@ -23,9 +26,6 @@ class _WebSocketImpl extends _EventTargetImpl implements WebSocket native "*WebS
|
|
|
| final String url;
|
|
|
| - _WebSocketEventsImpl get on() =>
|
| - new _WebSocketEventsImpl(this);
|
| -
|
| void _addEventListener(String type, EventListener listener, [bool useCapture = null]) native "this.addEventListener(type, listener, useCapture);";
|
|
|
| void close([int code = null, String reason = null]) native;
|
|
|