#include "xbt/log.h"
#include "xbt/virtu.h" /* set the XBT virtualization to use GRAS */
#include "xbt/module.h" /* xbt_init/exit */
+#include "xbt/xbt_os_time.h" /* xbt_os_time */
#include "Virtu/virtu_interface.h" /* Module mechanism FIXME: deplace&rename */
#include "gras_modinter.h" /* module init/exit */
#if defined(HAVE_SIGNAL) && defined(HAVE_SIGNAL_H)
static void gras_sigusr_handler(int sig) {
INFO0("SIGUSR1 received. Display the backtrace");
- xbt_backtrace_display();
+ xbt_backtrace_display_current();
}
static void gras_sigint_handler(int sig) {
static double lastone = 0;
- if (lastone == 0 || gras_os_time() - lastone > 5) {
- lastone = gras_os_time();
- xbt_backtrace_display();
- fprintf(stderr,"\nBacktrace displayed because Ctrl-C was pressed. Press again (within 5 sec) to abort the process.\n");
+ if (lastone == 0 || xbt_os_time() - lastone > 5) {
+ xbt_backtrace_display_current();
+ fprintf(stderr,
+ "\nBacktrace displayed because Ctrl-C was pressed. Press again (within 5 sec) to abort the process.\n");
+ lastone = xbt_os_time();
} else {
exit(1);
}
INFO0("Exiting GRAS");
amok_exit();
gras_moddata_leave();
+ gras_process_exit();
if (--gras_running_process == 0) {
gras_msg_exit();
gras_trp_exit();
gras_emul_exit();
gras_moddata_exit();
}
- gras_process_exit();
xbt_exit();
}