From 5bc3597e1513c7b94497ae0ea819e5fa2e28058a Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 30 Sep 2017 21:40:08 +0200
Subject: [PATCH 1/1] Fix process_killall.  Closes #186.

This was never tested, or it was a long time ago.
---
 src/simix/ActorImpl.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/simix/ActorImpl.cpp b/src/simix/ActorImpl.cpp
index 205c7f0a62..49d14cbada 100644
--- a/src/simix/ActorImpl.cpp
+++ b/src/simix/ActorImpl.cpp
@@ -587,10 +587,6 @@ void SIMIX_process_killall(smx_actor_t issuer, int reset_pid)
 
   if (reset_pid > 0)
     simix_process_maxpid = reset_pid;
-
-  SIMIX_context_runall();
-
-  SIMIX_process_empty_trash();
 }
 
 void SIMIX_process_change_host(smx_actor_t process, sg_host_t dest)
-- 
2.20.1