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

ModuleManager: Delete ThreadPool at end of run()

parent 15e3de0a

src/core/module/ModuleManager.cpp

+1 −0
Original line number Diff line number Diff line
@@ -870,6 +870,7 @@ void ModuleManager::run(RandomNumberGenerator& seeder) { 
    total_time_ += static_cast<std::chrono::duration<long double>>(end_time - start_time).count();



    LOG(TRACE) << "Destroying thread pool";

    thread_pool_.reset();

}



static std::string seconds_to_time(long double seconds) {