| Index: client/html/generated/html/frog/EventSource.dart | 
| diff --git a/client/html/generated/html/frog/EventSource.dart b/client/html/generated/html/frog/EventSource.dart | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..d4cb4eb17b18145ff13c0efe3ac75603e76b1fbb | 
| --- /dev/null | 
| +++ b/client/html/generated/html/frog/EventSource.dart | 
| @@ -0,0 +1,36 @@ | 
| + | 
| +class _EventSourceImpl extends _EventTargetImpl implements EventSource native "*EventSource" { | 
| + | 
| +  static final int CLOSED = 2; | 
| + | 
| +  static final int CONNECTING = 0; | 
| + | 
| +  static final int OPEN = 1; | 
| + | 
| +  final String URL; | 
| + | 
| +  final int readyState; | 
| + | 
| +  final String url; | 
| + | 
| +  _EventSourceEventsImpl get on() => | 
| +    new _EventSourceEventsImpl(this); | 
| + | 
| +  void _addEventListener(String type, EventListener listener, [bool useCapture = null]) native "this.addEventListener(type, listener, useCapture);"; | 
| + | 
| +  void close() native; | 
| + | 
| +  bool _dispatchEvent(_EventImpl evt) native "return this.dispatchEvent(evt);"; | 
| + | 
| +  void _removeEventListener(String type, EventListener listener, [bool useCapture = null]) native "this.removeEventListener(type, listener, useCapture);"; | 
| +} | 
| + | 
| +class _EventSourceEventsImpl extends _EventsImpl implements EventSourceEvents { | 
| +  _EventSourceEventsImpl(_ptr) : super(_ptr); | 
| + | 
| +  EventListenerList get error() => _get('error'); | 
| + | 
| +  EventListenerList get message() => _get('message'); | 
| + | 
| +  EventListenerList get open() => _get('open'); | 
| +} | 
|  |