try {
try_block();
res = true;
- } catch (ForcefulKillException const&) {
- XBT_DEBUG("Caught a ForcefulKillException");
+ } catch (ForcefulKillException const& e) {
+ XBT_DEBUG("Caught a ForcefulKillException: %s", e.what());
res = false;
}
return res;