From 80d6cadca15fdebb830e8b6006e38890ad0acbd9 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 6 Mar 2022 14:16:00 +0100
Subject: server: don't hardcode the websocket domain/protocol

---
 server/HtmlOrphans.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs
index b90ea6d..ee30773 100644
--- a/server/HtmlOrphans.hs
+++ b/server/HtmlOrphans.hs
@@ -75,7 +75,8 @@ instance ToHtml JobStatus where
         p_ "you should probably ping an admin about this or sth"
       where
         autoReloadScript = script_
-          "let ws = new WebSocket('ws://localhost:8080' + window.location.pathname + 'realtime');\n\
+          "let proto = window.location.protocol === 'https://' ? 'wss' : 'ws://';\
+          \let ws = new WebSocket(proto + window.location.host + window.location.pathname + 'realtime');\n\
           \ws.onmessage = (event) => {\n\
           \  let resp = JSON.parse(event.data);\n\
           \  if (resp == 'RelintPending') {\n\
-- 
cgit v1.2.3