protocol detection

.woodpecker.yml

@@ -36,6 +36,7 @@ pipeline:
       - podman login git.mzhang.io --username michael --password $DOCKER_TOKEN
       - podman push $REPO:$TAG
       - podman push $REPO:latest
+      - exit 1
     secrets:
       - DOCKER_TOKEN
     volumes:
@@ -43,3 +44,4 @@ pipeline:
     when:
       # event: tag
       branch: master
+

src/static/index.html

@@ -34,7 +34,16 @@
 
       // Connect to websocket
       let roomId = "{{ room_id }}";
-      let ws = new WebSocket(`ws://${location.host}/ws/${roomId}`);
+      let protocol;
+      switch (location.protocol) {
+        case "https:":
+          protocol = "wss:";
+        case "http:":
+          protocol = "ws:";
+        default:
+          throw new Error("L");
+      }
+      let ws = new WebSocket(`${protocol}//${location.host}/ws/${roomId}`);
 
       // Relay all messages to terminal
       ws.addEventListener("message", (msg) => {