Gregor Richards ed320fd914 Adding and removing players
The new input handling makes adding and removing players more
complicated, since data can be present that's not expected from the
connected clients list, or absent that's expected in the list but
actually shouldn't be there.
2018-01-05 14:24:43 -05:00
..
2017-12-12 00:24:18 -08:00
2018-01-05 14:24:43 -05:00
2017-03-05 14:19:34 -05:00
2017-12-12 00:24:18 -08:00