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

Location: src/sys/src/errorsignal.c
System Index
Table of Contents