PetscPopSignalHandler#
Removes the last signal handler that was pushed. If no signal handlers are left on the stack it will remove the PETSc signal handler. (That is PETSc will no longer catch signals).
Synopsis#
#include "petscsys.h"
PetscErrorCode PetscPopSignalHandler(void)
Not Collective
Note#
There is no way to return to a signal handler that was set directly by the user with the UNIX signal handler API or by
the loader. That information is lost with the first call to PetscPushSignalHandler()
See Also#
Level#
developer
Location#
Examples#
Index of all Sys routines
Table of Contents for all manual pages
Index of all manual pages