On Tuesday 7 November 2017 08:27:39 CET Matthew Knepley wrote: > On Tue, Nov 7, 2017 at 7:47 AM, Gard Spreemann <[email protected]> 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
