diff options
Diffstat (limited to 'src/lib/job_manager.cc')
| -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 545fd956c..86e010c10 100644 --- a/src/lib/job_manager.cc +++ b/src/lib/job_manager.cc @@ -62,6 +62,7 @@ JobManager::~JobManager () } if (_scheduler) { + DCPOMATIC_ASSERT (_scheduler->joinable ()); _scheduler->join (); } |