[RATIS-1570] Add getLeaderId method to DivisionInfo

• Type: New Feature
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 2.3.0
• Component/s: API
• Assignee: Xinyu Tan
• Reporter: Song Ziyang
• Created: 22/Apr/22 04:45
• Updated: 28/Jun/22 04:06
• Resolved: 09/May/22 13:03

Description

Currently in DivisionInfo, Peer can obtain its role through getCurrentRole. However, when the peer is follower, application want to know who is the current group leader in some scenario. We can add a getLeader interface to DivisionInfo to provide the peer's best knowledge about current leader.

Issue Links

• links to: GitHub Pull Request #640