Terminate smoothly on CTRL-C.

[loba.git] / process.cpp

diff --git a/process.cpp b/process.cpp
index d0bfc21120b8cbc8ea0230b4eb9bb97e4eeb26f3..cbf512b6b66d2fde431d060030cf072868b942e2 100644 (file)
--- a/process.cpp
+++ b/process.cpp
@@ -224,6 +224,10 @@ bool process::still_running()
     if (!last_status) {
         /* nop */
 
+    } else if (opt::exit_request) {
+        XBT_VERB("Global exit requested");
+        last_status = false;
+
     } else if (opt::time_limit && MSG_get_clock() >= opt::time_limit) {
         XBT_VERB("Reached time limit: %g/%g", MSG_get_clock(), opt::time_limit);
         last_status = false;