--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/svghmi/svghmi.js	Thu Sep 19 09:01:49 2019 +0200
@@ -0,0 +1,11 @@
+(function(){
+    var relative_URI = window.location.href.replace(/^http(s?:\/\/[^\/]*)\/.*$/, 'ws$1/ws');
+    var ws = new WebSocket(relative_URI);
+    ws.onmessage = function (evt) {
+        var received_msg = evt.data;
+        alert("Message is received..."+received_msg); 
+    };
+    ws.onopen = function (evt) {
+        ws.send("test");
+    };
+})();