res();
} catch (const py::error_already_set& ex) {
XBT_VERB("Actor killed");
- simgrid::ForcefulKillException::do_throw(); // Forward that ForcefulKill exception
+ simgrid::ForcefulKillException::do_throw();
throw;
}
});
fun(*args);
} catch (const py::error_already_set& ex) {
XBT_VERB("Actor killed");
- simgrid::ForcefulKillException::do_throw(); // Forward that ForcefulKill exception
+ simgrid::ForcefulKillException::do_throw();
throw;
}
});