RE: Kill cygwin process form task manager

2008-11-14 Thread Michael Wiedmann
Chris January wrote: > Alternatively, do it the other way round, with the child occasionally > writing to the pipe and the parent draining it. The child will get > SIGPIPE when the parent dies. This sounds great! I have already a pipe between parent and child processes for other purposes and onl

Re: Kill cygwin process form task manager

2008-11-14 Thread Chris January
On Nov 14, 2008 10:20am, Michael Wiedmann wrote: > I need hints how to act if someone kills my Cygwin (parent) process using > Windows task manager and I want to kill all forked child processes. > > I already keep a list of all childs pids and can kill them successfully in an > SIGINT handler (if

Re: Kill cygwin process form task manager

2008-11-14 Thread Corinna Vinschen
On Nov 14 11:20, Michael Wiedmann wrote: > Hi, > > I need hints how to act if someone kills my Cygwin (parent) process using > Windows task manager and I want to kill all forked child processes. > I already keep a list of all childs pids and can kill them successfully in an > SIGINT handler (if

Kill cygwin process form task manager

2008-11-14 Thread Michael Wiedmann
Hi, I need hints how to act if someone kills my Cygwin (parent) process using Windows task manager and I want to kill all forked child processes. I already keep a list of all childs pids and can kill them successfully in an SIGINT handler (if the programm is started in foreground and is interrup