diff options
| author | Thomas Snider <tjps636@gmail.com> | 2017-11-18 11:35:14 -0800 |
|---|---|---|
| committer | Thomas Snider <tjps636@gmail.com> | 2017-11-18 11:35:14 -0800 |
| commit | bba9bd0d9dd06f13a6b0c89181864453cab5c858 (patch) | |
| tree | b16239a61b68699026e7c7b93c0dad06081abd80 /src/util.h | |
| parent | 99bc0b428b03b571afbc311b7f18fd3a707ac5af (diff) | |
Switched sync.{cpp,h} to std threading primitives.
Diffstat (limited to 'src/util.h')
| -rw-r--r-- | src/util.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.h b/src/util.h index be5c99567d..08de43d29f 100644 --- a/src/util.h +++ b/src/util.h @@ -28,6 +28,7 @@ #include <vector> #include <boost/signals2/signal.hpp> +#include <boost/thread/condition_variable.hpp> // for boost::thread_interrupted // Application startup time (used for uptime calculation) int64_t GetStartupTime(); |