static int smx_ctx_sysv_factory_finalize(smx_context_factory_t * factory)
{
- /*FIXME free(maestro_context->exception);*/
free(*factory);
*factory = NULL;
+
+ /* Restore the default exception setup */
+ __xbt_ex_ctx = &__xbt_ex_ctx_default;
+ __xbt_ex_terminate = &__xbt_ex_terminate_default;
+
return 0;
}