check_signal gSIGINT_is_fatal gSignalSet set_abort_on_sigint sigint_handler

gSIGINT_is_fatal bool pism::python::gSIGINT_is_fatal Definition at line 50 of file pism_python.cc. Referenced by set_abort_on_sigint(), and sigint_handler().