Undo soem of the deletions in game.html from the previous merge

app/semipublic/game.html

@@ -11,11 +11,18 @@
     <div id="player-info-container">
         <h2 id="score-header">Player Scores</h2>
     </div>
+    <button id="join-game">Join Game</button>
     <div id="board-container"></div>
 
     <script src="/socket.io/socket.io.js"></script>
     <script src="/game_render.js"></script>
     <script>
+        function getToken() {
+            const t = document.cookie.split(";")
+                .map(c => c.split("=").map(d => d.trim()))
+                .filter(c => c[0] === "token")[0];
+            return t ? t[1] : null;
+        }
 
         function hideJoinButton() {
             document.querySelector("#join-game").style.display = "none";
@@ -23,7 +30,8 @@
 
         const socket = io({
             query: {
-                gameId: window.location.href.split("/").filter(e => e.length > 0).pop()
+                gameId: window.location.href.split("/").filter(e => e.length > 0).pop(),
+                token: getToken()
             }
         });
         let BOARD1 = null;
@@ -32,6 +40,7 @@
             if (!BOARD1)
                 BOARD1 = new SudokuBoard("board-container", updateToServer);
             BOARD1.updateBoard(args.boardDisplay, args.boardLock, args.boardColors);
+            document.querySelector("#join-game").style.display = "none";
             displayPlayerScores(args.playerScores);
             hideJoinButton();
             socket.emit("verify solution", {board: args.boardDisplay, playerScores: args.playerScores});