You should be able to do this (at least on linux) with killall -g,
specifying the process group id of set of processes that you want to
kill. Note that this is less than rigorous; child processes can leave
their initial process group. (This is one of my pet peeves about the
unix process management API; it is possible for child processes to
escape control of their parent through a combination of forking and
setsession'ing.)
hth.
-nld
_______________________________________________
Tech mailing list
[email protected]
http://lopsa.org/cgi-bin/mailman/listinfo/tech
This list provided by the League of Professional System Administrators
http://lopsa.org/
