From e395fcc0bcfedbf3d31173ff0cf7cd616ab92768 Mon Sep 17 00:00:00 2001
From: Carl Worth <cworth@cworth.org>
Date: Sun, 10 May 2020 09:55:43 -0700
Subject: [PATCH] Rename player-register/player-deregister to
 player-join/player-leave

This brings the client into conformance with protocol version 0.3.
---
 empires/empires-client.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/empires/empires-client.js b/empires/empires-client.js
index ff952a3..c239b22 100644
--- a/empires/empires-client.js
+++ b/empires/empires-client.js
@@ -53,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);
 
@@ -63,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);
-- 
2.43.0