| 470 | } |
| 471 | |
| 472 | void finalize() override |
| 473 | { |
| 474 | // This process will be terminated when we get responses from a |
| 475 | // quorum of replicas. In that case, we no longer care about |
| 476 | // responses from other replicas, thus discarding them here. |
| 477 | discard(responses); |
| 478 | |
| 479 | promise.discard(); |
| 480 | } |
| 481 | |
| 482 | private: |
| 483 | void watched(const Future<size_t>& future) |