| Index: client/dom/scripts/dartgenerator.py
|
| diff --git a/client/dom/scripts/dartgenerator.py b/client/dom/scripts/dartgenerator.py
|
| index 4ed007f0c70962b91e2312855089d83d8d3f5788..86e1ccec092ef9559a2e12a70e2d3a4a6696ae42 100755
|
| --- a/client/dom/scripts/dartgenerator.py
|
| +++ b/client/dom/scripts/dartgenerator.py
|
| @@ -76,6 +76,7 @@ _constructable_types = {
|
| 'XMLHttpRequest': '',
|
| 'WebKitCSSMatrix': '[String spec]',
|
| 'WebKitPoint': 'num x, num y',
|
| + 'WebSocket': 'String url',
|
| # dart:html types
|
| 'CSSMatrix': '[String spec]',
|
| 'Point': 'num x, num y',
|
|
|