void (*SMPI_switch_data_segment)(simgrid::s4u::ActorPtr) = nullptr;
bool _sg_do_verbose_exit = true;
-static void inthandler(int)
+XBT_ATTRIB_NORETURN static void inthandler(int)
{
if ( _sg_do_verbose_exit ) {
XBT_INFO("CTRL-C pressed. The current status will be displayed before exit (disable that behavior with option 'verbose-exit').");
try {
timer->callback();
} catch (...) {
- xbt_die("Exception thrown ouf of timer callback");
+ xbt_die("Exception thrown out of timer callback");
}
delete timer;
}