Getting rid of useless field

[simgrid.git] / src / xbt / context.c

diff --git a/src/xbt/context.c b/src/xbt/context.c
index fd3c271..c33311c 100644 (file)
--- a/src/xbt/context.c
+++ b/src/xbt/context.c
@@ -175,7 +175,13 @@ static ex_ctx_t *__context_ex_ctx(void)
 static void __context_ex_terminate(xbt_ex_t *e) {
   xbt_ex_display(e);
 
-  __context_exit(current_context, e->value);
+  abort();
+   /* FIXME: there should be a configuration variable to choose this
+  if(current_context!=init_context) 
+    __context_exit(current_context, e->value);
+  else
+    abort();
+    */
 }
 
 /** \name Functions