From 96c0db83155c60730cb141f3e014a696a1fa9576 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Tue, 15 Jul 2014 09:48:00 +0200 Subject: [PATCH] html: only specify port if it isn't set already --- jackwsmeter.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/jackwsmeter.html b/jackwsmeter.html index 756f80a..02a1e37 100644 --- a/jackwsmeter.html +++ b/jackwsmeter.html @@ -58,7 +58,11 @@ function get_appropriate_ws_url() u = u.split('/'); - return pcol + u[0] + ':7681'; + if (!document.location.port) { + return pcol + u[0] + ':7681'; + } + + return pcol + u[0]; } -- 2.11.4.GIT