From 4a103ee1b08b31d6989348517f033233ef6710a3 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 27 Aug 2018 01:42:53 +0200 Subject: [PATCH] Not sure of why it helps now --- src/kernel/context/Context.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/kernel/context/Context.cpp b/src/kernel/context/Context.cpp index dfa1791933..ca6e447534 100644 --- a/src/kernel/context/Context.cpp +++ b/src/kernel/context/Context.cpp @@ -80,7 +80,8 @@ void Context::stop() this->process_->suspended_ = 0; this->iwannadie = false; - simgrid::simix::simcall([this] { SIMIX_process_cleanup(this->process_); }); + if (not this->process_->finished_) // It seems that we sometimes try to destroy an actor twice + simgrid::simix::simcall([this] { SIMIX_process_cleanup(this->process_); }); this->iwannadie = true; } -- 2.20.1