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; |