+
+ <script src="/socket.io/socket.io.js"></script>
+ <script>
+ const socket = io("/tardis");
+
+ const header = document.getElementById("header");
+ const companions = document.getElementById("companions");
+ const timer_div = document.getElementById("timer_div");
+ const timer = document.getElementById("timer");
+ const welcome_message = document.getElementById("welcome-message");
+
+ socket.on('companions', (count) => {
+ companions.textContent = count.toString();
+ });
+
+ socket.on('timer', (value) => {
+ console.log("Receiving timer value of " + value);
+ timer_div.style.visibility = "visible";
+ timer.textContent = value.toString();
+
+ if (value === 0) {
+ welcome_message.style.visibility = "hidden";
+ timer_div.style.visibility = "hidden";
+ header.className = "zoom-tardis";
+ }
+ });
+
+ </script>