X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/be00fecb16c89d44253052889f4815b35ab9abbe..d7d25ee1e33a01d3655723cbe4c8e0a77ea60712:/src/simix/smx_process.c?ds=sidebyside

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index df8d7ecaf7..02e70b43f3 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -356,6 +356,7 @@ void SIMIX_process_kill(smx_process_t process, smx_process_t issuer) {
     case SIMIX_SYNC_COMMUNICATE:
       xbt_fifo_remove(process->comms, process->waiting_synchro);
       SIMIX_comm_cancel(process->waiting_synchro);
+      xbt_fifo_remove(process->waiting_synchro->simcalls, &process->simcall);
       SIMIX_comm_destroy(process->waiting_synchro);
       break;
 
@@ -377,6 +378,8 @@ void SIMIX_process_kill(smx_process_t process, smx_process_t issuer) {
       break;
 
     }
+
+    process->waiting_synchro = NULL;
   }
   if(!xbt_dynar_member(simix_global->process_to_run, &(process)) && process != issuer) {
     XBT_DEBUG("Inserting %s in the to_run list", process->name);