From 1b9db884dbb7e8707af54642faa57a359c9e5d2d Mon Sep 17 00:00:00 2001
From: Markus Zolliker <markus.zolliker@psi.ch>
Date: Mon, 14 Jul 2025 15:09:50 +0200
Subject: [PATCH] replace hard-wired websocket address

for ssh tunnels, we need to use the same adress as given in the
address bar, only changing port number to 8010
---
 templates/dil5.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/templates/dil5.html b/templates/dil5.html
index 385735f..fb2ebdf 100644
--- a/templates/dil5.html
+++ b/templates/dil5.html
@@ -238,8 +238,8 @@
         output.scrollTop = output.scrollHeight;
     }
 
-    function doConnect() {
-        websocket = new WebSocket("ws://linse-dil5:8010/");
+    function doConnect(uri) {
+        websocket = new WebSocket(uri);
         websocket.onopen = evt => onOpen(evt);
         websocket.onclose = evt => onClose(evt);
         websocket.onmessage = evt => handleMSG(evt.data);
@@ -300,7 +300,7 @@
     }
 
     window.onload = function () {
-        doConnect();
+        doConnect('ws://' + window.location.hostname + ':8010/');
         requestAnimationFrame(processUpdates);
     }
 </script>