Method getRandomConnector

ZezeJava/ZezeJava/src/main/java/Zeze/Raft/Agent.java:383–390

(Connector except)

	}

	private Connector getRandomConnector(Connector except) {
		var notMe = new ArrayList<Connector>(client.getConfig().connectorCount());
		client.getConfig().forEachConnector(c -> {
			if (c != except)
				notMe.add(c);
		});
		return notMe.isEmpty() ? null : notMe.get(Random.getInstance().nextInt(notMe.size()));
	}

	private long processLeaderIs(LeaderIs r) throws Exception {
		ConnectorProxy leader = this.leader;