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