-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");
- } else {
- exit(1);
- }
+static void gras_sigint_handler(int sig)
+{
+ static double lastone = 0;
+ if (lastone == 0 || xbt_os_time() - lastone > 5) {
+ if (gras_if_RL())
+ xbt_backtrace_display_current();
+ else
+ SIMIX_display_process_status();
+ 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);
+ }