Terminate smoothly on CTRL-C.

[loba.git] / options.h

diff --git a/options.h b/options.h
index b3e30816f0c127d4b935d706f408fd7436c9a6cb..0abec0f2e5ef0fe78e1c1802b666dbb62375177c 100644 (file)
--- a/options.h
+++ b/options.h
@@ -22,6 +22,7 @@ namespace opt {
 
     // Simulation parameters
     extern int log_rate;
+    extern bool exit_request;
 
     // Platform and deployment
     extern std::string platform_file;