Added WebSocket support for dartc and frog

client/dom/scripts/template_wrapping_dom.js

Index: client/dom/scripts/template_wrapping_dom.js
diff --git a/client/dom/scripts/template_wrapping_dom.js b/client/dom/scripts/template_wrapping_dom.js
index e375a5b2559a105dc5a38eec4d1ee1e0166b97a3..e9b0ddca8383c0982893a305c2cc8d3b042c2c6e 100644
--- a/client/dom/scripts/template_wrapping_dom.js
+++ b/client/dom/scripts/template_wrapping_dom.js
@@ -130,7 +130,6 @@ function native__TypedArrayFactoryProvider__U32(arg) {
   }
 }
 
-
 function native__WebKitCSSMatrixFactoryProvider_create(spec) {
   try {
     return __dom_wrap(new WebKitCSSMatrix(spec));  // string doesn't need unwrap.
@@ -147,6 +146,14 @@ function native__WebKitPointFactoryProvider_create(x, y) {
   }
 }
 
+function native__WebSocketFactoryProvider_create(url) {
+  try {
+    return __dom_wrap(new WebSocket(url));  // string doesn't need unwrap.
+  } catch (e) {
+    throw __dom_wrap_exception(e);
+  }
+}
+
 function native__XMLHttpRequestFactoryProvider_create() {
   try {
     return __dom_wrap(new XMLHttpRequest());