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 |
deleted file mode 100644 |
index fc52a5b238f6d735d5138d22d91bc622c56dc510..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/interface/EventSource.dart |
+++ /dev/null |
@@ -1,41 +0,0 @@ |
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-// WARNING: Do not edit - generated code. |
- |
-interface EventSource extends EventTarget default _EventSourceFactoryProvider { |
- |
- EventSource(String scriptUrl); |
- |
- EventSourceEvents get on(); |
- |
- static final int CLOSED = 2; |
- |
- static final int CONNECTING = 0; |
- |
- static final int OPEN = 1; |
- |
- final String URL; |
- |
- final int readyState; |
- |
- final String url; |
- |
- void _addEventListener(String type, EventListener listener, [bool useCapture]); |
- |
- void close(); |
- |
- bool _dispatchEvent(Event evt); |
- |
- void _removeEventListener(String type, EventListener listener, [bool useCapture]); |
-} |
- |
-interface EventSourceEvents extends Events { |
- |
- EventListenerList get error(); |
- |
- EventListenerList get message(); |
- |
- EventListenerList get open(); |
-} |