Use bigger chunk allocations in sync_queue.

[loba.git] / options.cpp

diff --git a/options.cpp b/options.cpp
index 3e0f92d764a29cc695522d5a3dd770e99481a6c8..3eed8a259731798ba790f1c59eafad44798b01fc 100644 (file)
--- a/options.cpp
+++ b/options.cpp
@@ -39,7 +39,7 @@ namespace opt {
 
     // Simulation parameters
     int log_rate = 1;
-    bool exit_request = false;
+    volatile std::sig_atomic_t exit_request = 0;
 
     // Platform and deployment
     std::string platform_file;