diff options
| author | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 20:23:55 +0100 |
|---|---|---|
| committer | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 20:23:55 +0100 |
| commit | d091be401140088431ac2c1bf2bc97415e37c9ff (patch) | |
| tree | 87868be85a3b694f76782703322482d7c97b151d | |
| parent | 113f129b348c48fff67242fe65906b3821ae7bd4 (diff) | |
| download | yosys-d091be401140088431ac2c1bf2bc97415e37c9ff.tar.gz yosys-d091be401140088431ac2c1bf2bc97415e37c9ff.tar.bz2 yosys-d091be401140088431ac2c1bf2bc97415e37c9ff.zip | |
- libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RESTART flag for improved robustness of code that is not signal-aware.
| -rw-r--r-- | libs/ezsat/ezminisat.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc index 92f56b00a..4677f68bd 100644 --- 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); |