Added disconnection and server cleanup when a user leaves a game after it is over