diff options
author | Eric Milkie <milkie@10gen.com> | 2012-04-06 16:59:48 -0400 |
---|---|---|
committer | Eric Milkie <milkie@10gen.com> | 2012-04-06 16:59:54 -0400 |
commit | 483397298791cc3c4d3b4f1c1c7696212a8d125a (patch) | |
tree | 7849c778df0c3f1c24a3d0d5e94f0c0d01c3dc97 /src/mongo/util/background.cpp | |
parent | c394b6d67fcbcd653ca9be60cc356f58261a52a4 (diff) | |
download | mongo-483397298791cc3c4d3b4f1c1c7696212a8d125a.tar.gz |
more cleanup of pch.h and goodies.h; new file ticketholder.h
Diffstat (limited to 'src/mongo/util/background.cpp')
-rw-r--r-- | src/mongo/util/background.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mongo/util/background.cpp b/src/mongo/util/background.cpp index 3d675421a4d..854060e6370 100644 --- a/src/mongo/util/background.cpp +++ b/src/mongo/util/background.cpp @@ -17,6 +17,8 @@ #include "pch.h" +#include <boost/thread/condition.hpp> + #include "concurrency/mutex.h" #include "concurrency/spin_lock.h" |