Adam R. B. Jack wrote:
One thing I dislike about Python (for Gump) is we've not found a nicer way
to timeout processes. One thing I dislike about Gump's implementation (for
this part) is that it runs the program, not just detects it on the PATH -
but this is 'cos since we had code to do this
what about the "type" command/built-in? Can we assume that either the
python execute command will always execute the command in bash or find
the "type" executable?
One things I dislike about
pgrep is it doesn't kill grandchildren (a perfectly good attribute out
outside of computing) -- so only kills the child shell, not even the main
program below. That all said, it stops Gump from hanging.
;) If you ensure that the group id is set for all children, then
wouldn't a pgrep -g id do the trick? I don't know how you would achieve
that with python, but in C you would use setgid(id);
If you work on a patch ... I think some folks could use pgrep on Microsoft
platforms, so please be cautious of those. Perhaps (in that case) continue
with -help.
[snip]
--
Michael
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
