From 00c0af024790b2d3b5b3de59dba99a3fdefba265 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 12 Apr 2006 00:17:56 +0000
Subject: [PATCH] Make sure we won't try to survive to unexpected exceptions

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2132 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/xbt/context.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/xbt/context.c b/src/xbt/context.c
index c01edd42a2..c33311c2aa 100644
--- a/src/xbt/context.c
+++ b/src/xbt/context.c
@@ -175,10 +175,13 @@ static ex_ctx_t *__context_ex_ctx(void)
 static void __context_ex_terminate(xbt_ex_t *e) {
   xbt_ex_display(e);
 
+  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 
-- 
2.20.1