try {
(*context)();
+ if (not context->is_maestro()) // Just in case somebody detached maestro
+ context->Context::stop();
} catch (StopRequest const&) {
XBT_DEBUG("Caught a StopRequest");
xbt_assert(not context->is_maestro(), "Maestro shall not receive StopRequests, even when detached.");
XBT_INFO("Actor killed by an uncatched exception %s", simgrid::xbt::demangle(typeid(e).name()).get());
throw;
}
- if (not context->is_maestro()) // Just in case somebody detached maestro
- context->Context::stop();
-
// Signal to the caller (normally the maestro) that we have finished:
context->yield();