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/client/connpool.cpp | |
| parent | 0777616ff7ce85292e865c0340d92aadf7ba9867 (diff) | |
| download | mongo-7dc989123bc46ed26562b86699210aee17fc2009.tar.gz | |
SERVER-16694 check for shutdown definitively in bgsync
Diffstat (limited to 'src/mongo/client/connpool.cpp')
| -rw-r--r-- | src/mongo/client/connpool.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mongo/client/connpool.cpp b/src/mongo/client/connpool.cpp index 56545119d98..39b4a0f4c29 100644 --- a/src/mongo/client/connpool.cpp +++ b/src/mongo/client/connpool.cpp @@ -37,6 +37,7 @@ #include "mongo/client/connpool.h" #include "mongo/client/replica_set_monitor.h" #include "mongo/client/syncclusterconnection.h" +#include "mongo/util/exit.h" #include "mongo/util/log.h" #include "mongo/s/shard.h" |