- xbt_free(simix_global->maestro_process->running_ctx);
- xbt_free(simix_global->maestro_process);
- simix_global->maestro_process = NULL;
-
- /* Restore the default exception setup */
- __xbt_running_ctx_fetch = &__xbt_ex_ctx_default;
- __xbt_ex_terminate = &__xbt_ex_terminate_default;
+ simix_global->maestro_process->context = nullptr;
+ delete simix_global->maestro_process;
+ simix_global->maestro_process = nullptr;