From 9913daf209a0470a8dc810614129b6fd11876706 Mon Sep 17 00:00:00 2001
From: Samuel Lepetit <samuel.lepetit@inria.fr>
Date: Thu, 21 Jun 2012 15:29:27 +0200
Subject: [PATCH] Kill the process when a host fails when doing a
 synchronisation simcall.

---
 src/simix/smx_synchro.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/simix/smx_synchro.c b/src/simix/smx_synchro.c
index 2c1b53b1a1..689576cc1b 100644
--- a/src/simix/smx_synchro.c
+++ b/src/simix/smx_synchro.c
@@ -100,7 +100,8 @@ static void SIMIX_synchro_finish(smx_action_t action)
       break;
 
     case SIMIX_FAILED:
-      SMX_EXCEPTION(simcall->issuer, host_error, 0, "Host failed");
+        simcall->issuer->context->iwannadie = 1;
+//      SMX_EXCEPTION(simcall->issuer, host_error, 0, "Host failed");
       break;
 
     default:
-- 
2.20.1