| Index: client/html/generated/html/interface/EventSource.dart
|
| diff --git a/client/html/generated/html/interface/EventSource.dart b/client/html/generated/html/interface/EventSource.dart
|
| index 1487cebc483ba3c74f6c89fb2d1a0da8d74320bc..fc52a5b238f6d735d5138d22d91bc622c56dc510 100644
|
| --- a/client/html/generated/html/interface/EventSource.dart
|
| +++ b/client/html/generated/html/interface/EventSource.dart
|
| @@ -8,6 +8,8 @@ interface EventSource extends EventTarget default _EventSourceFactoryProvider {
|
|
|
| EventSource(String scriptUrl);
|
|
|
| + EventSourceEvents get on();
|
| +
|
| static final int CLOSED = 2;
|
|
|
| static final int CONNECTING = 0;
|
| @@ -20,8 +22,6 @@ interface EventSource extends EventTarget default _EventSourceFactoryProvider {
|
|
|
| final String url;
|
|
|
| - EventSourceEvents get on();
|
| -
|
| void _addEventListener(String type, EventListener listener, [bool useCapture]);
|
|
|
| void close();
|
|
|