Re: close_wait_program, process groups and kill /bin/sh builtin

Ben Elliston <[email protected]> Fri, 6 Jul 2018 11:42:25 +1000

Newsgroups	gmane.comp.sysutils.dejagnu.bugs
Message-ID	<20180706014224.GB32495@bapbop>

Hi Richard,

Long time, no talk!

On Thu, Jul 05, 2018 at 12:24:32PM +0200, Richard Biener wrote:

> So my suggestion is to first fix the pgid computation (which would
> probably solve my other issue as well), then to either avoid using
> shell builtins by doing && (env kill -15 ... or to not rely on the
> particular semantics of multiple process kills and somehow iterate
> over $pid/$pgid.

I agree with your approach. Would you care to work up a patch? :-)

Thanks, Ben

_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu

signature.asc (application/pgp-signature, 819 B)