]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #46029 from kamoltat/wip-ksirivad-fix-notify-rank-removed
authorYuri Weinstein <yweinste@redhat.com>
Wed, 15 Jun 2022 20:27:13 +0000 (13:27 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2022 20:27:13 +0000 (13:27 -0700)
mon/Elector: notify_rank_removed erase rank from both live_pinging and dead_pinging sets for highest ranked MON

Reviewed-by: Greg Farnum <gfarnum@redhat.com>

Trivial merge