| 101 | } |
| 102 | |
| 103 | void finalize() override |
| 104 | { |
| 105 | // This process will be terminated when we get responses from a |
| 106 | // quorum of replicas. In that case, we no longer care about |
| 107 | // responses from other replicas, thus discarding them here. |
| 108 | discard(responses); |
| 109 | |
| 110 | promise.discard(); |
| 111 | } |
| 112 | |
| 113 | private: |
| 114 | void watched(const Future<size_t>& future) |