X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5b32d08cb7d3c3563120366a1b508a325e8d5da3..13adccf44e6c002a1817431ac227b51a8a9ddc7d:/src/xbt/context.c

diff --git a/src/xbt/context.c b/src/xbt/context.c
index fd3c271766..c62a7a6a71 100644
--- a/src/xbt/context.c
+++ b/src/xbt/context.c
@@ -13,9 +13,8 @@
 #include "context_private.h"
 #include "xbt/log.h"
 #include "xbt/dynar.h"
-#include "gras_config.h"
 
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(context, xbt, "Context");
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_ctx, xbt, "Context");
 
 #define VOIRP(expr) DEBUG1("  {" #expr " = %p }", expr)
 
@@ -175,7 +174,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