diff options
Diffstat (limited to 'src/lib/job_manager.cc')
| -rw-r--r-- | src/lib/job_manager.cc | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/lib/job_manager.cc b/src/lib/job_manager.cc index c40178f41..9eb51aee5 100644 --- a/src/lib/job_manager.cc +++ b/src/lib/job_manager.cc @@ -62,6 +62,8 @@ JobManager::start () JobManager::~JobManager () { + boost::this_thread::disable_interruption dis; + BOOST_FOREACH (boost::signals2::connection& i, _connections) { i.disconnect (); } @@ -72,13 +74,9 @@ JobManager::~JobManager () _empty_condition.notify_all (); } - if (_scheduler.joinable()) { - try { - _scheduler.join(); - } catch (...) { - - } - } + try { + _scheduler.join(); + } catch (...) {} } shared_ptr<Job> |