Index: client/html/src/frog_FactoryProviders.dart |
diff --git a/client/html/src/frog_FactoryProviders.dart b/client/html/src/frog_FactoryProviders.dart |
index 1f01ab1fb5a23191e0e0e630abd69c41876bc9bd..cba70a6a5c5d95ea1fd1a2c7209d04ec38803fc9 100644 |
--- a/client/html/src/frog_FactoryProviders.dart |
+++ b/client/html/src/frog_FactoryProviders.dart |
@@ -65,3 +65,8 @@ class _PointFactoryProvider { |
factory Point(num x, num y) native 'return new WebKitPoint(x, y);'; |
} |
+ |
+class _WebSocketFactoryProvider { |
+ |
+ factory WebSocket(String url) native '''return new WebSocket(url);'''; |
+} |