GUI -- Cleaned up websocket code.
 - isolated new WebSocket() call, so we can mock.

Change-Id: Id1225e2c65732e750b289224e838a326c79f02a4
diff --git a/web/gui/src/main/webapp/index.html b/web/gui/src/main/webapp/index.html
index cab570a..05154c7 100644
--- a/web/gui/src/main/webapp/index.html
+++ b/web/gui/src/main/webapp/index.html
@@ -53,8 +53,8 @@
     <script src="app/fw/remote/remote.js"></script>
     <script src="app/fw/remote/urlfn.js"></script>
     <script src="app/fw/remote/rest.js"></script>
+    <script src="app/fw/remote/wsock.js"></script>
     <script src="app/fw/remote/websocket.js"></script>
-    <script src="app/fw/remote/wsevent.js"></script>
 
     <script src="app/fw/widget/widget.js"></script>
     <script src="app/fw/widget/table.js"></script>