[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
signature.asc
Description: PGP signature