I don't know what 'process group' gives me (on Unix, it isn't on M$) but is there some way that a tree is a group? Can I find the group(s) for my children and kill those groups without killing myself? Anybody know this?
I know I did this on linux once. But I forgot how. Will investigate...
Any other thoughts/approaches come to mind?
everytime you spawn a child, record the id (a .pid file). Kill all the ids. I think most unix software records the ids. I have no idea how to do that top-of-head, but there's plenty of examples around the world, like
/etc/rc.d/init.d/functions
-- cheers,
- Leo Simons
PS: Antoine says: I have seen that Adam has been successful in fixing the ant builds in gumpy. I do not have access to my Internet email now, but if I had I would sent him congrats. (via IM :-D)
----------------------------------------------------------------------- Weblog -- http://leosimons.com/ IoC Component Glue -- http://jicarilla.org/ Articles & Opinions -- http://articles.leosimons.com/ ----------------------------------------------------------------------- "We started off trying to set up a small anarchist community, but people wouldn't obey the rules." -- Alan Bennett
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
