Be consistent and hold mutex in any case when returning from condition_t::timedwait().

[loba.git] / options.h

diff --git a/options.h b/options.h
index 264a566f25564831680df3027fc28ff9c5213180..f9baa880f2185051c08d4b7f1626d43eaa34cf22 100644 (file)
--- a/options.h
+++ b/options.h
@@ -63,6 +63,7 @@ namespace opt {
     extern unsigned lb_maxiter;
     extern unsigned comp_maxiter;
     extern double time_limit;
     extern unsigned lb_maxiter;
     extern unsigned comp_maxiter;
     extern double time_limit;

+    extern unsigned exit_on_convergence;

     extern bool exit_on_close;
 
     // Named parameters lists
     extern bool exit_on_close;
 
     // Named parameters lists