[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-dejagnu] close_wait_program, process groups and kill /bin/sh bu

From: Ben Elliston
Subject: Re: [Bug-dejagnu] close_wait_program, process groups and kill /bin/sh builtin
Date: Fri, 6 Jul 2018 11:42:25 +1000
User-agent: Mutt/1.5.24 (2015-08-30)

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

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]