diff options
| author | Martin Neupauer <martin.neupauer@mongodb.com> | 2018-01-18 12:04:01 -0500 |
|---|---|---|
| committer | Martin Neupauer <martin.neupauer@mongodb.com> | 2018-01-31 15:05:08 -0500 |
| commit | 15a7ac9ca54f2d580e2b1d1ab01fe095be1233db (patch) | |
| tree | c3628b0d5be60aa6bd911c8c351daa9606f6b060 /src/mongo/executor/thread_pool_task_executor.h | |
| parent | 3c349c50d8d5a55fa80c1d7ae3ac6a6f6cc82b5e (diff) | |
| download | mongo-15a7ac9ca54f2d580e2b1d1ab01fe095be1233db.tar.gz | |
SERVER-31484 separate the operation deadline from awaitData deadline in sharded queries.
The deadline has been been already separated for non-sharded queries.
Diffstat (limited to 'src/mongo/executor/thread_pool_task_executor.h')
| -rw-r--r-- | src/mongo/executor/thread_pool_task_executor.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/mongo/executor/thread_pool_task_executor.h b/src/mongo/executor/thread_pool_task_executor.h index b443061945e..8e81e3a7f07 100644 --- a/src/mongo/executor/thread_pool_task_executor.h +++ b/src/mongo/executor/thread_pool_task_executor.h @@ -73,7 +73,9 @@ public: StatusWith<EventHandle> makeEvent() override; void signalEvent(const EventHandle& event) override; StatusWith<CallbackHandle> onEvent(const EventHandle& event, const CallbackFn& work) override; - Status waitForEvent(OperationContext* opCtx, const EventHandle& event) override; + StatusWith<stdx::cv_status> waitForEvent(OperationContext* opCtx, + const EventHandle& event, + Date_t deadline) override; void waitForEvent(const EventHandle& event) override; StatusWith<CallbackHandle> scheduleWork(const CallbackFn& work) override; StatusWith<CallbackHandle> scheduleWorkAt(Date_t when, const CallbackFn& work) override; |