40 #include <set>
55 /// The interrupt signal that fired, or -1 if none.
56 static volatile int fired_signal = -1;
60 typedef std::set< pid_t > pids_set;
99     static const char* message = "[-- Signal caught; please wait for "  in signal_handler()
100         "cleanup --]\n";  in signal_handler()
101     if (::write(STDERR_FILENO, message, std::strlen(message)) == -1) {  in signal_handler()
119 /// \pre Must not have been called before.
124     PRE(sighup_handler.get() == NULL);  in setup_handlers()
125     PRE(sigint_handler.get() == NULL);  in setup_handlers()
126     PRE(sigterm_handler.get() == NULL);  in setup_handlers()
148     sighup_handler->unprogram(); sighup_handler.reset(NULL);  in cleanup_handlers()
149     sigint_handler->unprogram(); sigint_handler.reset(NULL);  in cleanup_handlers()
150     sigterm_handler->unprogram(); sigterm_handler.reset(NULL);  in cleanup_handlers()
169     INV(ret != -1);  in mask_signals()
176 ///     \code set \endcode argument with sigprocmask(2).
181     INV(ret != -1);  in unmask_signals()
192     PRE(!interrupts_handler_active);  in interrupts_handler()
206         LW("Destroying still-programmed signals::interrupts_handler object");  in ~interrupts_handler()
222     PRE(_programmed);  in unprogram()
231     fired_signal = -1;  in unprogram()
251         --interrupts_inhibiter_active;  in ~interrupts_inhibiter()
272     if (fired_signal != -1) {  in check_interrupt()
274         fired_signal = -1;  in check_interrupt()
282 /// \pre Must be called with interrupts being inhibited.  The caller must ensure
289     PRE(interrupts_inhibiter_active);  in add_pid_to_kill()
290     PRE(pids_to_kill.find(pid) == pids_to_kill.end());  in add_pid_to_kill()
297 /// \pre Must be called with interrupts being inhibited.  This is not necessary,
306     PRE(interrupts_inhibiter_active);  in remove_pid_to_kill()
307     PRE(pids_to_kill.find(pid) != pids_to_kill.end());  in remove_pid_to_kill()