#include <cerrno>
+#include <csignal>
#include <cstring> // strchr
#include <iostream>
-#include <signal.h>
#include <stdexcept>
#include <msg/msg.h>
#include <xbt/log.h>
XBT_CRITICAL(">>>>>>>>>>"
" caught CTRL-C: global exit requested "
"<<<<<<<<<<");
- opt::exit_request = true;
+ opt::exit_request = 1;
} else {
XBT_CRITICAL(">>>>>>>>>>"
" caught CTRL-C for the 2nd time: exit immediately "