On Fri, 12 Aug 2016 00:45:55 +0200 Julian Andres Klode wrote: > On Fri, Aug 12, 2016 at 12:40:44AM +0200, Francesco Poli wrote: [...] > > Please reply to my question [...] > > > > In the meanwhile, I am reopening the bug. > > Yes, sorry, I forgot to take this out of the changelog. No problem, reopening the bug was easy enough... > So, basically, > AFAICT, what we should do is ignore the interrupt, because if the child > process exits with any error, we will error out as well. And if a child > exits because of a SIGINT, it's exit code won't be 0. Well, this sounds reasonable, after all. I haven't been able to find a counterargument, although you have to take into account that I am no expert of signal handling, so I could be wrong... Please implement the fix soon. Thanks for your time and helpfulness! -- http://www.inventati.org/frx/ There's not a second to spare! To the laboratory! ..................................................... Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE
Attachment:
pgp_iIokbSoGM.pgp
Description: PGP signature