sendMessageToClients("{0} left the game.", new Serializable[] { playerName });
    public synchronized void connectionClosed(ConnectionToServer c) {        /*         * If the player is connected locally, the connection is still         * active, so that the server may still be controlled via the         * connection, but the player must re-authenticate themselves         * in order to play         */	if (!(c instanceof LocalConnection)) {	    removeConnection(c);	} else {	    gameEngine.getIdentityProvider().removeConnection(c);	    tableModel.stateChanged(c, connections.indexOf(c));	}    }