handleDisconnect

Handles a player disconnect event

If the disconnecting player is the last one on the server, and the server is configured to shut down when empty, this method will schedule a shutdown.

Parameters