Commit d2f1bb27 authored by Simon Spannagel's avatar Simon Spannagel
Browse files

ModuleManager: ensure we're not calling ThreadPool::destroy() twice, would end up in resource lock

parent adde88c6

src/core/module/ModuleManager.cpp

+5 −3
Original line number Diff line number Diff line
@@ -1024,8 +1024,10 @@ void ModuleManager::finalize() { 
 * All modules in the event loop continue to finish the current event

 */

void ModuleManager::terminate() {

    if(!terminate_) {

        terminate_ = true;

        if(thread_pool_) {

            thread_pool_->destroy();

        }

    }

}