GP handling of SIGINT (Linux)

[Jeroen Demeyer <jdemeyer@cage.ugent.be>]

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.

Is this a feature or a bug?