Terminate smoothly on CTRL-C.

[loba.git] / options.cpp

diff --git a/options.cpp b/options.cpp
index c0becfde198f7347b31ff3593c95447697975077..2994640bf6e7f0c766ea6ca66637bcbd5ab804a7 100644 (file)
--- a/options.cpp
+++ b/options.cpp
@@ -35,6 +35,7 @@ namespace opt {
 
     // Simulation parameters
     int log_rate = 1;
+    bool exit_request = false;
 
     // Platform and deployment
     std::string platform_file;