Cancel the comms of leaving processes instead of destroying them

This avoids segfaults when a process leaves the simulation before all
its asynchronous comms (included detached ones) end.

This may leak the canceled actions, but that's another bug, in
comm_cancel.

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 357314a..95bf7c7 100644 (file)
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -318,7 +318,7 @@ void SIMIX_process_kill(smx_process_t process, smx_process_t issuer) {
 
       case SIMIX_ACTION_COMMUNICATE:
         xbt_fifo_remove(process->comms, process->waiting_action);
-        SIMIX_comm_destroy(process->waiting_action);
+        SIMIX_comm_cancel(process->waiting_action);
         break;
 
         case SIMIX_ACTION_SLEEP: