]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commit
projects / ceph.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba673be) | patch
Elector: share local command set when deferring
authorGreg Farnum <greg@inktank.com>
Mon, 9 Dec 2013 16:41:54 +0000 (08:41 -0800)
committerGreg Farnum <greg@inktank.com>
Mon, 9 Dec 2013 19:26:04 +0000 (11:26 -0800)
commitf1ccdb418b916aed36d12e090d41c432cf0f86e0
tree8089d8b1063e4e812ae7c8e492ae3bcf850d2a1etree | snapshot
parentba673be3e64438aa48c3134988e89ae80e638132commit | diff
Elector: share local command set when deferring

We're about to use this at a basic level, to identify when we have
"classic" monitors in-quorum, but could also do something more
sophisticated like a set intersection on the commands.

Signed-off-by: Greg Farnum <greg@inktank.com>
src/mon/Elector.cc diff | blob | history
src/mon/Elector.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.