Rename player-register/player-deregister to player-join/player-leave

[lmno.games] / empires / empires-client.js

diff --git a/empires/empires-client.js b/empires/empires-client.js
index 511527b216151a47955afc314b223703ad4dd56e..c239b223168f7b67280c1c0cbe1abb831620caed 100644 (file)
--- a/empires/empires-client.js
+++ b/empires/empires-client.js
@@ -9,7 +9,7 @@ function add_message(severity, message) {
 ${message}
 <span class="hide-button" onclick="undisplay(this.parentElement)">&times</span>
 </div>`;
-  message_area = document.getElementById('message-area');
+  const message_area = document.getElementById('message-area');
   message_area.insertAdjacentHTML('beforeend', message);
 }
 
@@ -31,3 +31,50 @@ function register(form) {
 
   form.reset();
 }
+
+const events = new EventSource(API + "events");
+
+events.onerror = function(event) {
+  if (event.target.readyState === EventSource.CLOSED) {
+      add_message("danger", "Connection to server lost.");
+  }
+};
+
+events.addEventListener("players", function(event) {
+  const players_element = document.getElementById("players");
+  const players = JSON.parse(event.data);
+
+  players_element.innerHTML = '';
+  for (const player of players) {
+    var li = document.createElement('li');
+    li.id = "player-" + player.id;
+    li.innerText = player.name;
+    players_element.appendChild(li);
+  }
+});
+
+events.addEventListener("player-join", function(event) {
+  const players = document.getElementById("players");
+  const player = JSON.parse(event.data);
+
+  const li = document.createElement('li');
+  li.id = "player-" + player.id;
+  li.innerText = player.name;
+  players.appendChild(li);
+});
+
+events.addEventListener("player-leave", function(event) {
+  const players = document.getElementById("players");
+  const id = JSON.parse(event.data);
+  const player = document.getElementById("player-" + id.id);
+
+  players.removeChild(player);
+});
+
+events.addEventListener("capture", function(event_string) {
+  const players = document.getElementById("players");
+  const event = JSON.parse(event_string.data);
+  const player = document.getElementById("player-" + event.captee);
+
+  players.removeChild(player);
+});