diff options
Diffstat (limited to 'src/lib/server_finder.cc')
| -rw-r--r-- | src/lib/server_finder.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lib/server_finder.cc b/src/lib/server_finder.cc index 4b532f981..642767e8b 100644 --- a/src/lib/server_finder.cc +++ b/src/lib/server_finder.cc @@ -63,11 +63,13 @@ ServerFinder::~ServerFinder () _search_condition.notify_all (); if (_search_thread) { + DCPOMATIC_ASSERT (_search_thread->joinable ()); _search_thread->join (); } _listen_io_service.stop (); if (_listen_thread) { + DCPOMATIC_ASSERT (_listen_thread->joinable ()); _listen_thread->join (); } } |