Method processGetLeader

ZezeJava/ZezeJava/src/main/java/Zeze/Raft/Raft.java:872–887

(GetLeader r)

	}

	private long processGetLeader(GetLeader r) {
		// see Server::trySendLeaderIs
		String leaderId = getLeaderId();
		if (leaderId == null || leaderId.isEmpty())
			return Procedure.Unknown;

		if (getName().equals(leaderId) && !isLeader())
			return Procedure.Unknown;

		// redirect
		r.Result.setTerm(getLogSequence().getTerm());
		r.Result.setLeaderId(leaderId); // maybe empty
		r.Result.setLeader(isLeader());
		r.trySendResultCode(Procedure.Success);
		return 0;
	}

	private long processStartServer(StartServerConnector r) {
		server.getConfig().forEachConnector(Connector::stop);