def on_leadership_change(self, prev_leader_uid, new_leader_uid):
Called when a change in leadership is detected. Either UID may
dataset/ETHPy150Open cocagne/paxos/paxos/functional.py/HeartbeatMessenger.on_leadership_change