Method set_leader

nodedb-cluster/src/routing.rs:147–151

Update the leader for a Raft group.

(&mut self, group_id: u64, leader: u64)

    /// Update the leader for a Raft group.
    pub fn set_leader(&mut self, group_id: u64, leader: u64) {
        if let Some(info) = self.group_members.get_mut(&group_id) {
            info.leader = leader;
        }
    }

    /// Atomically reassign a vShard to a different Raft group.
    /// Used during Phase 3 (atomic cut-over) of shard migration.