}
/* 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);
+
+ 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