git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2132
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
static void __context_ex_terminate(xbt_ex_t *e) {
xbt_ex_display(e);
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();
if(current_context!=init_context)
__context_exit(current_context, e->value);
else
abort();