| 152 | |
| 153 | |
| 154 | void AsynchronousReadBufferFromFileDescriptor::finalize() |
| 155 | { |
| 156 | if (prefetch_future.valid()) |
| 157 | { |
| 158 | prefetch_future.wait(); |
| 159 | prefetch_future = {}; |
| 160 | last_prefetch_info = {}; |
| 161 | } |
| 162 | } |
| 163 | |
| 164 | |
| 165 | AsynchronousReadBufferFromFileDescriptor::AsynchronousReadBufferFromFileDescriptor( |