diff options
author | Ruoxin Xu <ruoxin.xu@mongodb.com> | 2020-10-04 10:57:34 +0100 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-10-15 12:45:20 +0000 |
commit | 4530bcb094d5017599699a3da074a061a493f2b1 (patch) | |
tree | b7381277bb1232091d87b68aa1c856c2662d2ceb /src/mongo/stdx | |
parent | 35d7e75bca7cae7bfc984db0dbc1a5099821ccc4 (diff) | |
download | mongo-4530bcb094d5017599699a3da074a061a493f2b1.tar.gz |
SERVER-25497 Fix sharded query path to handle shutdown of the mongos process
Diffstat (limited to 'src/mongo/stdx')
-rw-r--r-- | src/mongo/stdx/future.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/stdx/future.h b/src/mongo/stdx/future.h index 58bdccfa400..548d4863862 100644 --- a/src/mongo/stdx/future.h +++ b/src/mongo/stdx/future.h @@ -40,6 +40,7 @@ using ::std::future_status; // NOLINT using ::std::launch; // NOLINT using ::std::packaged_task; // NOLINT using ::std::promise; // NOLINT +using ::std::shared_future; // NOLINT } // namespace stdx } // namespace mongo |