| Index: client/dom/generated/src/frog/WebSocket.dart
|
| diff --git a/client/dom/generated/src/frog/WebSocket.dart b/client/dom/generated/src/frog/WebSocket.dart
|
| deleted file mode 100644
|
| index f61be5f14ada48c70bb852455c01622ca6ae9e21..0000000000000000000000000000000000000000
|
| --- a/client/dom/generated/src/frog/WebSocket.dart
|
| +++ /dev/null
|
| @@ -1,35 +0,0 @@
|
| -
|
| -class _WebSocketJs extends _EventTargetJs implements WebSocket native "*WebSocket" {
|
| -
|
| - static final int CLOSED = 3;
|
| -
|
| - static final int CLOSING = 2;
|
| -
|
| - static final int CONNECTING = 0;
|
| -
|
| - static final int OPEN = 1;
|
| -
|
| - final String URL;
|
| -
|
| - String binaryType;
|
| -
|
| - final int bufferedAmount;
|
| -
|
| - final String extensions;
|
| -
|
| - final String protocol;
|
| -
|
| - final int readyState;
|
| -
|
| - final String url;
|
| -
|
| - void addEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
| -
|
| - void close([int code = null, String reason = null]) native;
|
| -
|
| - bool dispatchEvent(_EventJs evt) native;
|
| -
|
| - void removeEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
| -
|
| - bool send(String data) native;
|
| -}
|
|
|