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/range_deleter.cpp | |
| parent | 0777616ff7ce85292e865c0340d92aadf7ba9867 (diff) | |
| download | mongo-7dc989123bc46ed26562b86699210aee17fc2009.tar.gz | |
SERVER-16694 check for shutdown definitively in bgsync
Diffstat (limited to 'src/mongo/db/range_deleter.cpp')
| -rw-r--r-- | src/mongo/db/range_deleter.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/db/range_deleter.cpp b/src/mongo/db/range_deleter.cpp index 851a34d9be3..9cf3abd5f52 100644 --- a/src/mongo/db/range_deleter.cpp +++ b/src/mongo/db/range_deleter.cpp @@ -39,6 +39,7 @@ #include "mongo/db/repl/repl_coordinator_global.h" #include "mongo/db/write_concern_options.h" #include "mongo/util/concurrency/synchronization.h" +#include "mongo/util/exit.h" #include "mongo/util/log.h" #include "mongo/util/mongoutils/str.h" #include "mongo/util/time_support.h" |