Server now shuts down automatically when all players have left the game,
or died.