1 function undisplay(element) {
2 element.style.display="none";
5 function add_message(severity, message) {
6 message = `<div class="message ${severity}" onclick="undisplay(this)">
8 <span class="hide-button" onclick="undisplay(this.parentElement)">×</span>
10 const message_area = document.getElementById('message-area');
11 message_area.insertAdjacentHTML('beforeend', message);
14 function register(form) {
15 var request = new XMLHttpRequest();
17 request.open("POST", "register");
18 request.setRequestHeader("Content-Type", "application/json; charset=UTF-8");
20 "character": form.character.value
22 request.send(JSON.stringify(data));
27 function toggle_host_tools() {
28 const host_tools = document.getElementById("host-tools");
30 console.log("Toggling, host_tools.style.display is '" + host_tools.style.display + "'");
32 if (host_tools.style.display === "block")
33 host_tools.style.display = "none";
35 host_tools.style.display = "block";
38 function post_reveal() {
39 const request = new XMLHttpRequest();
41 request.open("POST", "reveal");
45 function post_start() {
46 const request = new XMLHttpRequest();
48 request.open("POST", "start");
52 function post_reset() {
53 const request = new XMLHttpRequest();
55 request.open("POST", "reset");
59 const events = new EventSource(window.location + "events");
61 events.onerror = function(event) {
62 if (event.target.readyState === EventSource.CLOSED) {
63 add_message("danger", "Connection to server lost.");
67 events.addEventListener("players", function(event) {
68 const players_div = document.getElementById("players-div");
69 const players_element = document.getElementById("players");
70 const players = JSON.parse(event.data);
72 players_element.innerHTML = '';
73 for (const player of players) {
74 var li = document.createElement('li');
75 li.id = "player-" + player.id;
76 li.innerText = player.name;
77 players_element.appendChild(li);
80 /* Force players list to be visible. */
81 players_div.style.display = "block";
84 events.addEventListener("player-join", function(event) {
85 const players_div = document.getElementById("players-div");
86 const players = document.getElementById("players");
87 const player = JSON.parse(event.data);
89 const li = document.createElement('li');
90 li.id = "player-" + player.id;
91 li.innerText = player.name;
92 players.appendChild(li);
94 /* Force players list to be visible. */
95 players_div.style.display = "block";
98 events.addEventListener("player-leave", function(event) {
99 const players = document.getElementById("players");
100 const id = JSON.parse(event.data);
101 const player = document.getElementById("player-" + id.id);
103 add_message("info", player.innerText + " has left the game.");
104 players.removeChild(player);
107 events.addEventListener("game-state", function(event) {
108 const data = JSON.parse(event.data);
109 const old_state = data.old_state;
110 const new_state = data.new_state;
112 const hide_selector = ".show-state-" +old_state+ ",.hide-state-" +new_state;
113 const show_selector = ".hide-state-" +old_state+ ",.show-state-" +new_state;
115 /* Hide all elements based on the state transition. */
116 var elts = document.querySelectorAll(hide_selector);
117 for (const elt of elts) {
118 elt.style.display = "none";
121 /* And show all elements based on the same state transition. */
122 elts = document.querySelectorAll(show_selector);
123 for (const elt of elts) {
124 elt.style.display = "block";
128 events.addEventListener("character-reveal", function(event) {
129 const data = JSON.parse(event.data);
130 const character_name = data.character;
132 const character = document.getElementById("character-reveal");
134 character.innerText = character_name;
137 events.addEventListener("capture", function(event_string) {
138 const players = document.getElementById("players");
139 const event = JSON.parse(event_string.data);
140 const player = document.getElementById("player-" + event.captee);
142 players.removeChild(player);