server: don't hardcode the websocket domain/protocol

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\