Commit 618a9c9d authored by Simon Spannagel's avatar Simon Spannagel
Browse files

ModuleManager: Delete ThreadPool at end of run() 

(cherry picked from commit fb88360a)
parent 21a1979e

src/core/module/ModuleManager.cpp

+1 −0
Original line number Diff line number Diff line
@@ -865,6 +865,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) {