Bill Allombert on Mon, 13 Jun 2005 15:19:40 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: GP handling of SIGINT (Linux) |
On Mon, Apr 18, 2005 at 11:13:12AM +0200, Karim Belabas wrote: > * Jeroen Demeyer [2005-04-17 21:35]: > > Hello list, > > > > while hacking with GP and shell scripts under Linux, I noted the following: > > > > When using GP non-interactively (gp -f -q <commands.gp >output), > > it only handles a SIGINT once. The first SIGINT is caught and > > interrupts the current command (as usual), but any further SIGINTs do > > nothing. I don't understand how come this behaviour is different from > > an interactive GP, where multiple SIGINTs can be cought. I suspect GP automatically reset interrupts in interactive mode at some stage,though Idon't know the details. > > Is this a feature or a bug? > > It's a bug, which we've not been able to trace so far. See > > http://pari.math.u-bordeaux.fr/cgi-bin/bugreport.cgi?bug=124 I am not sure this is the same bug, so I have registered this problem (easily reproducible) as bug #251. Cheers, Bill.