- if (not simgrid::kernel::context::StopRequest::try_n_catch([&rv, &task]() { rv = MSG_task_execute(task); })) {
+ if (not simgrid::kernel::context::ForcefulKillException::try_n_catch(
+ [&rv, &task]() { rv = MSG_task_execute(task); })) {
- if (not simgrid::kernel::context::StopRequest::try_n_catch([&rv, &task, &alias, &jtimeout]() {
+ if (not simgrid::kernel::context::ForcefulKillException::try_n_catch([&rv, &task, &alias, &jtimeout]() {
rv = MSG_task_receive_ext(&task, alias, (double)jtimeout, /*host*/ nullptr);
})) {
jxbt_throw_by_name(env, "org/simgrid/msg/ProcessKilledError", "Process killed");
rv = MSG_task_receive_ext(&task, alias, (double)jtimeout, /*host*/ nullptr);
})) {
jxbt_throw_by_name(env, "org/simgrid/msg/ProcessKilledError", "Process killed");