Restored missing port identifier for custom port support.

waltje · Dec 14, 2023 · 46ad206 · 46ad206
1 parent 8b64b18
commit 46ad206
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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");
     }