| 206 | } |
| 207 | |
| 208 | void finalize() override |
| 209 | { |
| 210 | catching.discard(); |
| 211 | |
| 212 | // TODO(benh): Discard our promise only after 'catching' has |
| 213 | // completed (ready, failed, or discarded). |
| 214 | promise.discard(); |
| 215 | } |
| 216 | |
| 217 | private: |
| 218 | static void timedout(Future<uint64_t> catching) |