Bill Allombert on Tue, 22 Sep 2015 09:30:37 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [PATCH] please make pari_sighandler public


On Sun, Sep 20, 2015 at 08:08:27PM +0200, Jeroen Demeyer wrote:
> What do you think of this?
> 
> >this patch is useful for applications which require switching between
> >signal handlers (between PARI's handler and a private handler). It also
> >allows more fine-grained control than INIT_SIGm to setting up signal
> >handlers.

I am unclear how this gives more fine-grained control than setting your own
handler, but if you also write the corresponding documentation, then it is OK
with me.

Cheers,
Bill.