Index: client/html/src/dartium_FactoryProviders.dart |
diff --git a/client/html/src/dartium_FactoryProviders.dart b/client/html/src/dartium_FactoryProviders.dart |
index f2e007fc80e2bcba86e3d8631fd423c000857bc4..78681ea27e98672589d0b8892523a779bce739aa 100644 |
--- a/client/html/src/dartium_FactoryProviders.dart |
+++ b/client/html/src/dartium_FactoryProviders.dart |
@@ -61,3 +61,8 @@ class _PointFactoryProvider { |
factory Point(num x, num y) => _wrap(new dom.WebKitPoint(x, y)); |
} |
+ |
+class _WebSocketFactoryProvider { |
+ |
+ factory WebSocket(String url) => _wrap(new new dom.WebSocket(url)); |
+} |