From bd99e668706166bcea0a1c77c84b327baeee27ee Mon Sep 17 00:00:00 2001
From: d0kt0r0 <ogbornd@mcmaster.ca>
Date: Mon, 17 Sep 2018 13:19:54 -0400
Subject: [PATCH] change to EstuaryProtocol.js to be robust to situations where
 web connections are proxied on different ports

---
 static/EstuaryProtocol.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/static/EstuaryProtocol.js b/static/EstuaryProtocol.js
index 40b8a35d..f0a191dc 100644
--- a/static/EstuaryProtocol.js
+++ b/static/EstuaryProtocol.js
@@ -2,7 +2,9 @@ EstuaryProtocol = function () {
   this.status = "initializing...";
   this.wsReady = false;
   this.responses = new Array;
-  this.setUrl("ws://" + location.hostname + ":" + location.port);
+  var port = "";
+  if(location.port != "") port = ":" + location.port;
+  this.setUrl("ws://" + location.hostname + port + location.pathname);
 }
 
 EstuaryProtocol.prototype.setUrl = function(x) {