| 305 | } |
| 306 | |
| 307 | void finalize() override |
| 308 | { |
| 309 | // This process will be terminated when we get responses from a |
| 310 | // quorum of replicas. In that case, we no longer care about |
| 311 | // responses from other replicas, thus discarding them here. |
| 312 | discard(responses); |
| 313 | |
| 314 | promise.discard(); |
| 315 | } |
| 316 | |
| 317 | private: |
| 318 | void watched(const Future<size_t>& future) |