try {
(*context)();
- if (not context->is_maestro()) // Just in case somebody detached maestro
+ if (not context->is_maestro()) { // Just in case somebody detached maestro
context->Context::stop();
+ context->stop_hook();
+ }
} catch (StopRequest const&) {
XBT_DEBUG("Caught a StopRequest in Thread::wrapper");
xbt_assert(not context->is_maestro(), "Maestro shall not receive StopRequests, even when detached.");
void ThreadContext::stop()
{
Context::stop();
+ stop_hook();
throw StopRequest();
}