429430431432433434435436437438439
@Override public synchronized void quit(UUID playerId) { Player player = state.getPlayer(playerId); if (player != null) { player.leaveGame(this); fireInformEvent(player.getName() + " has left the game."); } } @Override