From 46ad206a4904a3048a8e0b4bec8ce4d6b0eb5d93 Mon Sep 17 00:00:00 2001
From: MartinMueller2003 <MartinMueller2003@yahoo.com>
Date: Thu, 14 Dec 2023 08:32:59 -0500
Subject: [PATCH] Restored missing port identifier for custom port support.

---
 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");
     }