fix hardcoded host and port

diff --git a/htdocs/portal/index.html b/htdocs/portal/index.html
index 5df175e1270b703225176d69a791e3249b5b4984..02a92eceb87d8263bd4d94da201be9bb1f020b6f 100644 (file)
--- a/htdocs/portal/index.html
+++ b/htdocs/portal/index.html
@@ -471,7 +471,9 @@
 
        <script type="text/javascript">
 
-       var socket = new WebSocket("ws://localhost:8086/socket", "websocket");
+       var port = document.location.port;
+       // var port = 8081; // for test
+       var socket = new WebSocket("ws://" + document.location.hostname + ":" + port + "/socket", "websocket");
 
        try {
                socket.onopen = function() {