Method removeClient

src/GraphServer/GraphServer.java:602–630

(ClientConnection client)

	}
	
	public void removeClient(ClientConnection client)
	{
		this.clients.remove(client);
		
		List<Player> clientPlayers = client.getPlayers();
		
		ListIterator<Player> itr = clientPlayers.listIterator();
    	
    	while(itr.hasNext())
    	{
    		Player player = itr.next();
    		
    		String message = NetworkProtocol.REMOVE_PLAYER+"&"+player.getID();
    		sendMessageAll(message);
    		
    		players.remove(player);
    	}    	
    	
    	if(clients.isEmpty()==false)
		{
    		if(client.isLeader())
	    	{	    		
	    		clients.get(0).setLeader(true);
    			sendLeaderMessage(clients.get(0));
    		}
    	}
    	
    	checkNextTurn();
	}
	
	private int[] generateCircles()
	{