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 5f489f8780c547c6f8af2a743561a965ebdcd07c..c239b223168f7b67280c1c0cbe1abb831620caed 100644 (file)
--- a/empires/empires-client.js
+++ b/empires/empires-client.js
@@ -34,6 +34,12 @@ function register(form) {
 
 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);
@@ -47,7 +53,7 @@ events.addEventListener("players", function(event) {
   }
 });
 
-events.addEventListener("player-register", function(event) {
+events.addEventListener("player-join", function(event) {
   const players = document.getElementById("players");
   const player = JSON.parse(event.data);
 
@@ -57,7 +63,7 @@ events.addEventListener("player-register", function(event) {
   players.appendChild(li);
 });
 
-events.addEventListener("player-deregister", function(event) {
+events.addEventListener("player-leave", function(event) {
   const players = document.getElementById("players");
   const id = JSON.parse(event.data);
   const player = document.getElementById("player-" + id.id);