Bill Allombert on Tue, 22 Sep 2015 15:19:22 +0200


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

Re: [PATCH] please make pari_sighandler public


On Tue, Sep 22, 2015 at 12:01:01PM +0200, Jeroen Demeyer wrote:
> On 2015-09-22 09:30, Bill Allombert wrote:
> >I am unclear how this gives more fine-grained control than setting your own
> >handler
> Perhaps you want to use PARI's handler only for specific signals, or
> you want to switch between the PARI handler and a custom signal
> handler in various parts of the program?
> 
> >but if you also write the corresponding documentation, then it is OK
> >with me.
> Done, see attachment.
> 

> commit 0a879a6132bc3856eb7353531d06b818beb167af
> Author: Jeroen Demeyer <jdemeyer@cage.ugent.be>
> Date:   Tue Sep 22 11:41:06 2015 +0200
> 
>     Make pari_sighandler public

Applied, thanks for your effort.

Cheers,
Bill.