| 52 | } |
| 53 | |
| 54 | void appoint(const Option<MasterInfo>& leader_) |
| 55 | { |
| 56 | leader = leader_; |
| 57 | |
| 58 | setPromises(&promises, leader); |
| 59 | } |
| 60 | |
| 61 | Future<Option<MasterInfo>> detect( |
| 62 | const Option<MasterInfo>& previous = None()) |
nothing calls this directly
no test coverage detected