- switch (surf_sleep->getState()) {
- case simgrid::kernel::resource::Action::State::failed:
- simcall->issuer->context->iwannadie = 1;
- result = SIMIX_SRC_HOST_FAILURE;
+ if (host && host->is_off()) {
+ /* If the host running the synchro failed, notice it. This way, the asking
+ * actor can be killed if it runs on that host itself */
+ result = SIMIX_SRC_HOST_FAILURE;
+ simcall->issuer->throw_exception(
+ std::make_exception_ptr(simgrid::HostFailureException(XBT_THROW_POINT, "Host failed")));
+ }
+
+ switch (surf_sleep->get_state()) {
+ case simgrid::kernel::resource::Action::State::FAILED:
+ simcall->issuer->context_->iwannadie = true;
+ result = SIMIX_FAILED;