jxbt_throw_task_cancelled(env,nullptr);
break;
default:
- jxbt_throw_native(env,xbt_strdup("undefined message failed "
- "(please see jmsg_throw_status function in jmsg.cpp)"));
+ xbt_die("undefined message failed (please see jmsg_throw_status function in jmsg.cpp)");
}
}