From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 9 Feb 2019 14:39:44 +0000 (+0100)
Subject: Using cancel() seems to be the right way to do.
X-Git-Tag: v3_22~372
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/14a55b8deb37317636eaab0670b1353d4088c19b

Using cancel() seems to be the right way to do.
---

diff --git a/src/simix/ActorImpl.cpp b/src/simix/ActorImpl.cpp
index 147339d4b4..c23b3b86c2 100644
--- a/src/simix/ActorImpl.cpp
+++ b/src/simix/ActorImpl.cpp
@@ -475,7 +475,7 @@ void SIMIX_process_kill(smx_actor_t actor, smx_actor_t issuer)
       SIMIX_synchro_stop_waiting(actor, &actor->simcall);
 
     } else if (io != nullptr) {
-      delete io.get();
+      io->cancel();
     } else {
       simgrid::kernel::activity::ActivityImplPtr activity = actor->waiting_synchro;
       xbt_die("Activity %s is of unknown type %s", activity->name_.c_str(),