void release()
Restores the signal handler to its previous value.
SigInstaller(int sig, void(*new_handler)(int))
Installs handle new_handler for signal sig.
void(* m_old_handler)(int)
Installs a signal handler on construction; deinstalls on destruction.
void sigint_handler(int sig)
void set_abort_on_sigint(bool abort)