diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib/job_manager.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib/job_manager.cc b/src/lib/job_manager.cc index d29138e9f..5fcb7086c 100644 --- a/src/lib/job_manager.cc +++ b/src/lib/job_manager.cc @@ -69,6 +69,7 @@ JobManager::~JobManager () { boost::mutex::scoped_lock lm (_mutex); _terminate = true; + _empty_condition.notify_all (); } if (_scheduler) { |