On 2012-12-07 10:53:16 +0100, Werner Koch wrote: > On Wed, 28 Nov 2012 16:21, vinc...@vinc17.net said: > > last one, it was taking too long, so that I did a Ctrl-C. However > > this didn't interrupt gpg. Other Ctrl-C's had no effect. The gpg > > process was still running, with a zombie. > > Why do you think this is a GnuPG problem? If Mutt does not kill gpg > properly, gpg can't do anything.
Mutt doesn't do anything special. I just do a Ctrl-C in the terminal, which has the effect to send a SIGINT to the foreground process group. Moreover, the gpg process has a zombie child, and Mutt can't do anything about that. It is up to the processes to wait for their own children. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
