+ 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;
+ SMX_EXCEPTION(simcall->issuer, host_error, 0, "Host failed");
+ }
+