Method trySendLeaderIs

ZezeJava/ZezeJava/src/main/java/Zeze/Raft/Server.java:287–299

(AsyncSocket sender)

	}

	public void trySendLeaderIs(AsyncSocket sender) {
		String leaderId = raft.getLeaderId();
		if (leaderId == null || leaderId.isEmpty())
			return;
		if (raft.getName().equals(leaderId) && !raft.isLeader())
			return;
		// redirect
		var redirect = new LeaderIs();
		redirect.Argument.setTerm(raft.getLogSequence().getTerm());
		redirect.Argument.setLeaderId(leaderId); // maybe empty
		redirect.Argument.setLeader(raft.isLeader());
		ProxyServer.send(this, proxyServer, redirect, raft.getName(), sender);
	}

	@Override
	public void OnHandshakeDone(AsyncSocket so) throws Exception {