Java API
Java API
address of current leader, or null if none
(roleLeaderChanged: StringAdd).self
(roleLeaderChanged: StringFormat).self
(roleLeaderChanged: ArrowAssoc[RoleLeaderChanged]).x
(Since version 2.10.0) Use leftOfArrow
instead
(roleLeaderChanged: Ensuring[RoleLeaderChanged]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
First member (leader) of the members within a role set changed. Published when the state change is first seen on a node.