diff options
author | Eric Milkie <milkie@10gen.com> | 2014-12-30 16:23:14 -0500 |
---|---|---|
committer | Eric Milkie <milkie@10gen.com> | 2014-12-30 16:23:26 -0500 |
commit | 7dc989123bc46ed26562b86699210aee17fc2009 (patch) | |
tree | 650b7a2e4c40024a1ff73c7f38ef21647cf72169 /src/mongo/db/catalog/cursor_manager.cpp | |
parent | 0777616ff7ce85292e865c0340d92aadf7ba9867 (diff) | |
download | mongo-7dc989123bc46ed26562b86699210aee17fc2009.tar.gz |
SERVER-16694 check for shutdown definitively in bgsync
Diffstat (limited to 'src/mongo/db/catalog/cursor_manager.cpp')
-rw-r--r-- | src/mongo/db/catalog/cursor_manager.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/db/catalog/cursor_manager.cpp b/src/mongo/db/catalog/cursor_manager.cpp index ea2f7821ab3..8597f410dd6 100644 --- a/src/mongo/db/catalog/cursor_manager.cpp +++ b/src/mongo/db/catalog/cursor_manager.cpp @@ -42,6 +42,7 @@ #include "mongo/db/operation_context.h" #include "mongo/db/query/plan_executor.h" #include "mongo/platform/random.h" +#include "mongo/util/exit.h" #include "mongo/util/startup_test.h" namespace mongo { |