| 259 | } |
| 260 | |
| 261 | void succeeded() |
| 262 | { |
| 263 | ++current; |
| 264 | |
| 265 | // The single position catch-up function: 'log::catchup' will |
| 266 | // return the highest proposal number seen so far. We use this |
| 267 | // proposal number for the next 'catchup' as it is highly likely |
| 268 | // that this number is high enough, saving potentially unnecessary |
| 269 | // proposal number bumps. |
| 270 | proposal = catching.get(); |
| 271 | |
| 272 | catchup(); |
| 273 | } |
| 274 | |
| 275 | const size_t quorum; |
| 276 | const Shared<Replica> replica; |