| Index: client/dom/generated/src/wrapping/_WebSocketWrappingImplementation.dart
|
| diff --git a/client/dom/generated/src/wrapping/_WebSocketWrappingImplementation.dart b/client/dom/generated/src/wrapping/_WebSocketWrappingImplementation.dart
|
| index 59d3e7260d2c74ac18d650517dcc9ed97fdb5eb2..e7809cc55b2eb89cdc0ad8ec535d4bb96d1d21ed 100644
|
| --- a/client/dom/generated/src/wrapping/_WebSocketWrappingImplementation.dart
|
| +++ b/client/dom/generated/src/wrapping/_WebSocketWrappingImplementation.dart
|
| @@ -32,6 +32,9 @@ class _WebSocketWrappingImplementation extends DOMWrapperBase implements WebSock
|
| int get readyState() { return _get_readyState(this); }
|
| static int _get_readyState(var _this) native;
|
|
|
| + String get url() { return _get_url(this); }
|
| + static String _get_url(var _this) native;
|
| +
|
| void addEventListener(String type, EventListener listener, [bool useCapture = null]) {
|
| if (useCapture === null) {
|
| _addEventListener_WebSocket(this, type, listener);
|
|
|