document.location.host includes port, so no separate port handling needed

vladkol · vladkol · commit d2885f464b1f · 2023-01-07T22:27:21.000Z
diff --git a/remi/gui.py b/remi/gui.py
@@ -1405,12 +1405,8 @@ def set_internal_js(self, app_identifier, net_interface_ip, pending_messages_que
                         }
                         else{
                             host = document.location.host;
-                            port = document.location.port;
                             pathname = document.location.pathname;
-                            if (port != ''){
-                                port = `:${port}`;
-                            }
-                            wss_url = `${ws_wss}://${document.location.host}${port}${pathname}`;
+                            wss_url = `${ws_wss}://${document.location.host}${pathname}`;
                         }
 
                         this._ws = new WebSocket(wss_url);

Original file line number	Diff line number	Diff line change
`@@ -1405,12 +1405,8 @@ def set_internal_js(self, app_identifier, net_interface_ip, pending_messages_que`
`1405`	`1405`	`}`
`1406`	`1406`	`else{`
`1407`	`1407`	`host = document.location.host;`
`1408`		`- port = document.location.port;`
`1409`	`1408`	`pathname = document.location.pathname;`
`1410`		`- if (port != ''){`
`1411`		- port = `:${port}`;
`1412`		`- }`
`1413`		- wss_url = `${ws_wss}://${document.location.host}${port}${pathname}`;
	`1409`	+ wss_url = `${ws_wss}://${document.location.host}${pathname}`;
`1414`	`1410`	`}`
`1415`	`1411`
`1416`	`1412`	`this._ws = new WebSocket(wss_url);`