Wait for a task to complete
| 126 | |
| 127 | // Wait for a task to complete |
| 128 | void wait_for_task(task_base* wait_task) |
| 129 | { |
| 130 | // Dispatch to the current thread's wait handler |
| 131 | wait_handler thread_wait_handler = get_thread_wait_handler(); |
| 132 | thread_wait_handler(task_wait_handle(wait_task)); |
| 133 | } |
| 134 | |
| 135 | // The default scheduler is just a thread pool which can be configured |
| 136 | // using environment variables. |
no test coverage detected