| 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));
|
| +}
|
|
|