| 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
|
| index 201eb8c883733771d53021fc47acf8231bdb7875..42e1739781370eb741cd32c1f4155ad49b9be2b2 100644
|
| --- a/client/dom/generated/src/frog/WebSocket.dart
|
| +++ b/client/dom/generated/src/frog/WebSocket.dart
|
| @@ -25,6 +25,8 @@ class WebSocketJs extends DOMTypeJs implements WebSocket native "*WebSocket" {
|
|
|
| int get readyState() native "return this.readyState;";
|
|
|
| + String get url() native "return this.url;";
|
| +
|
| void addEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
|
|
| void close([int code = null, String reason = null]) native;
|
|
|