- libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RES...

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 92f56b00ab7a8be9c874e8758c68db6942eb7ab1..4677f68bd77801dfa55e5a66d6fef64ba4db435b 100644 (file)
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -176,8 +176,8 @@ contradiction:
 
        if (solverTimeout > 0) {
                sig_action.sa_handler = alarmHandler;
-               sig_action.sa_mask = 0;
-               sig_action.sa_flags = 0;
+               sigemptyset(&sig_action.sa_mask);
+               sig_action.sa_flags = SA_RESTART;
                alarmHandlerThis = this;
                alarmHandlerTimeout = clock() + solverTimeout*CLOCKS_PER_SEC;
                old_alarm_timeout = alarm(0);