From a56ea12eb01092796facd5ace2701817cb53cbc7 Mon Sep 17 00:00:00 2001
From: David Gauchard <gauchard@laas.fr>
Date: Wed, 13 Dec 2023 17:23:36 +0100
Subject: [PATCH] wip: fix websocket connection when using an alternate port

---
 data/js/controls.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/js/controls.js b/data/js/controls.js
index 0395071..84b001b 100644
--- a/data/js/controls.js
+++ b/data/js/controls.js
@@ -231,7 +231,7 @@ function start() {
         port != 80 ||
         port != 443
     ) {
-        websock = new WebSocket( "ws://" + location + "/ws" );
+        websock = new WebSocket( "ws://" + location + ":" + port + "/ws" );
     } else {
         websock = new WebSocket("ws://" + location + "/ws");
     }