A.T.Hofkamp <[EMAIL PROTECTED]> wrote:
>  In principle, you should only kill your own child processes, your child 
> process
>  should handle its own childs (your grant child processes). SIGTERM is one 
> way.
>  Another solution often adopted is to close the stdin of the child.

That is a good idea.

You could also make the parent a process group leader and kill the
process group.  You'll get the kill signal too which you'll need to
ignore.  That is how the shell keeps track of things IIRC.

Read man setpgid, getpgid should be helful.  There are equivalent
commands in os, ie os.setpgid and os.getpgid.

-- 
Nick Craig-Wood <[EMAIL PROTECTED]> -- http://www.craig-wood.com/nick
-- 
http://mail.python.org/mailman/listinfo/python-list

Reply via email to