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

Fix issue from rebase 

(cherry picked from commit f70cb651)
parent 91184c2f

src/core/module/ModuleManager.cpp

+1 −1
Original line number Diff line number Diff line
@@ -728,7 +728,7 @@ void ModuleManager::run(RandomNumberGenerator& seeder) { 
        // Check if run was aborted and stop pushing extra events to the threadpool

        if(terminate_) {

            LOG(INFO) << "Interrupting event loop after " << finished_events << " events because of request to terminate";

            thread_pool->destroy();

            thread_pool_->destroy();

            global_config.set<uint64_t>("number_of_events", finished_events);

            break;

        }