From b5f8d475464ac1533d848b2836c2f6144f321757 Mon Sep 17 00:00:00 2001 From: Carl Worth Date: Sun, 10 May 2020 09:54:39 -0700 Subject: [PATCH] Rename player-register/player-deregister to player-join/player-leave This brings the server into compliance with protocol version 0.3. --- server.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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() { -- 2.43.0