| 705 | } |
| 706 | |
| 707 | void runWritePhase(const Action& action) |
| 708 | { |
| 709 | CHECK(!action.has_learned() || !action.learned()); |
| 710 | |
| 711 | writing = log::write(quorum, network, proposal, action); |
| 712 | writing.onAny(defer(self(), &Self::checkWritePhase, action)); |
| 713 | } |
| 714 | |
| 715 | void checkWritePhase(const Action& action) |
| 716 | { |