| Index: tools/dom/scripts/dartgenerator.py
|
| diff --git a/tools/dom/scripts/dartgenerator.py b/tools/dom/scripts/dartgenerator.py
|
| index 5fb409c4ea24e00c54f44a40ae0da03b09e39db9..1704de246e626fd506558570d82a20e2f9d6f3a5 100755
|
| --- a/tools/dom/scripts/dartgenerator.py
|
| +++ b/tools/dom/scripts/dartgenerator.py
|
| @@ -148,17 +148,6 @@ class DartGenerator(object):
|
| else:
|
| database.DeleteInterface(interface.id)
|
|
|
| - # Ugly temporary hack
|
| - websocket_interface = database.GetInterface('WebSocket')
|
| - def make_object(**fields):
|
| - o = type('Anon', (object,), {})()
|
| - for k, v in fields.items(): setattr(o, k, v)
|
| - o.ext_attrs = {}
|
| - return o
|
| - arg = make_object(id = 'url', type = make_object(id = 'DOMString'))
|
| - websocket_interface.ext_attrs['Constructor'] = make_object(arguments = [arg])
|
| - websocket_interface.ext_attrs['CustomConstructor'] = True
|
| -
|
| self.FilterMembersWithUnidentifiedTypes(database)
|
|
|
| def Generate(self, database, super_database, generate_interface):
|
|
|