Jeroen Demeyer on Sun, 20 Sep 2015 20:08:35 +0200


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

Re: [PATCH] please make pari_sighandler public


What do you think of this?

On 2015-09-10 16:05, Jeroen Demeyer wrote:
Hello,

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.