From: Carl Worth <cworth@cworth.org>
Date: Sun, 10 May 2020 16:54:39 +0000 (-0700)
Subject: Rename player-register/player-deregister to player-join/player-leave
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=b5f8d475464ac1533d848b2836c2f6144f321757;p=empires-server

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

This brings the server into compliance with protocol version 0.3.
---

diff --git a/server.js b/server.js
index 7ea999a..7bb29e5 100644
--- a/server.js
+++ b/server.js
@@ -28,14 +28,14 @@ class Game {
       object from new_player with just the subset of fields that we
       want. */
     const player_string = JSON.stringify((({id, name}) => ({id, name}))(new_player));
-    this.broadcast_event("player-register", player_string);
+    this.broadcast_event("player-join", player_string);
   }
 
   remove_player(id) {
     const index = this._players.findIndex(player => player.id === id);
     this._players.splice(index, 1);
 
-    this.broadcast_event("player-deregister", `{"id": ${id}}`);
+    this.broadcast_event("player-leave", `{"id": ${id}}`);
   }
 
   remove_all_players() {