diff options
Diffstat (limited to 'src/lib/checker.cc')
| -rw-r--r-- | src/lib/checker.cc | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/lib/checker.cc b/src/lib/checker.cc index c32462b42..b96b965aa 100644 --- a/src/lib/checker.cc +++ b/src/lib/checker.cc @@ -43,19 +43,17 @@ Checker::run () Checker::~Checker () { + boost::this_thread::disable_interruption dis; + { boost::mutex::scoped_lock lm (_mutex); _terminate = true; } - if (_thread.joinable()) { - _thread.interrupt (); - try { - _thread.join (); - } catch (...) { - - } - } + _thread.interrupt (); + try { + _thread.join (); + } catch (...) {} } void |