PetscDefaultSignalHandler

Default signal handler.

Synopsis

int PetscDefaultSignalHandler( int sig, void *ptr)
Not Collective

Input Parameters

sig - signal value
ptr - unused pointer

Keywords

default, signal, handler

Level:advanced
Location:src/sys/src/error/signal.c
System Index
Table of Contents