fix disconnect crashes

players can now disconnect and reconnect at will, and use nicknames of previously-connected (but now disconnected) players without crashing the server.