empathy: Track the player-exit event
authorCarl Worth <cworth@cworth.org>
Sat, 27 Jun 2020 18:07:49 +0000 (11:07 -0700)
committerCarl Worth <cworth@cworth.org>
Sat, 27 Jun 2020 18:07:49 +0000 (11:07 -0700)
commit351aafa7ed0e7839d9308d9e2302852eb0688b6a
treeba804cc2fd7f89da1f6bdd6fc9168e99c878c186
parentece82f79122ffd6f1e3c8fb0d0dac7daae824b92
empathy: Track the player-exit event

Now that the server is correctly noticing when a client drops it
connection, and notifying clients when a player has dropped every
connection, we now listen for that and drop players from our list
when they have left the game.
empathy/empathy.jsx