- // TODO, This should really be MSG_HOST_FAILURE
- simgrid::s4u::this_actor::sleep_for(5);
- XBT_ERROR("Worker should be off already.");
+ try {
+ simgrid::s4u::this_actor::sleep_for(5);
+ } catch (simgrid::HostFailureException& e) {
+ XBT_INFO("The host has died ... as expected.");
+ }