X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c5ed7b1b5fbb0cc057cb4cd1a1d18ca5ff6b22f7..ac7ec891d7a36e741b3a597c60e0dabbd8dbd7ee:/src/xbt/context.c

diff --git a/src/xbt/context.c b/src/xbt/context.c
index e7106576ff..c01edd42a2 100644
--- a/src/xbt/context.c
+++ b/src/xbt/context.c
@@ -172,9 +172,13 @@ static ex_ctx_t *__context_ex_ctx(void)
 }
 
 /* callback: termination */
-static void __context_ex_terminate(xbt_ex_t *e)
-{
-  __context_exit(current_context, e->value);
+static void __context_ex_terminate(xbt_ex_t *e) {
+  xbt_ex_display(e);
+
+  if(current_context!=init_context) 
+    __context_exit(current_context, e->value);
+  else
+    abort();
 }
 
 /** \name Functions