Use bigger chunk allocations in sync_queue.

[loba.git] / options.h

diff --git a/options.h b/options.h
index 604d1781ebf1deb00ca901de2ae2bcef971a821f..0c69e116f75528bde066e4bbe3455ac92e0224de 100644 (file)
--- a/options.h
+++ b/options.h
@@ -1,6 +1,7 @@
 #ifndef OPTIONS_H
 #define OPTIONS_H
 
+#include <csignal>              // std::sig_atomic_t
 #include <string>
 #include "cost_func.h"
 #include "named_object_list.h"
@@ -23,7 +24,7 @@ namespace opt {
 
     // Simulation parameters
     extern int log_rate;
-    extern bool exit_request;
+    extern volatile std::sig_atomic_t exit_request;
 
     // Platform and deployment
     extern std::string platform_file;