[petsc-users] Help with PETSc signal handling

Tue Nov 7 08:11:41 CST 2017

On Tuesday 7 November 2017 08:27:39 CET Matthew Knepley wrote:
> On Tue, Nov 7, 2017 at 7:47 AM, Gard Spreemann <gspr at nonempty.org> wrote:
> 
> > On Tuesday 7 November 2017 07:35:36 CET Mark Adams wrote:
> > > PETSc's signal handler is for segvs, etc. I don't know the details but I
> > > don't think we care about external signals.
> >
> 
> Its a little more nuanced than that. We specifically ignore USR1 and USR2
> 
> 
> https://bitbucket.org/petsc/petsc/src/17bd883d72f40a596f2d89b5afda5a233b621464/src/sys/error/signal.c?at=master&fileviewer=file-view-default#signal.c-239

Ah, thanks a lot!

 -- Gard