| 97 | } |
| 98 | |
| 99 | SolverAction::Enum SignalHandler::CheckForSignals() const { |
| 100 | if (GotSIGHUP()) { |
| 101 | return SIGHUP_action_; |
| 102 | } |
| 103 | if (GotSIGINT()) { |
| 104 | return SIGINT_action_; |
| 105 | } |
| 106 | return SolverAction::NONE; |
| 107 | } |
| 108 | |
| 109 | // Return the function that the solver can use to find out if a snapshot or |
| 110 | // early exit is being requested. |