Re: Zsh scripts leave defunct processes when running under docker exec

[Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>]

Bart Schaefer wrote on Wed, Feb 11, 2015 at 08:13:45 -0800:
> On Feb 11, 10:11am, Peter Stephenson wrote:
> }
> } If that *is* it, is it just a case of special-casing PID 1 not to do
> } "fake" execs?  That's not so hard and shouldn't be problematic in other
> } cases.
> 
> That would help, but I don't think that's everything, because zsh would
> still not reap background grandchildren of children which exited first.
> 
> In fact I don't even know how it *could* do that; we've reached the limit
> of my current knowledge of docker / PID namespaces.

Note that in the example, it is bash which runs as pid 1, not zsh.  The zsh
process running the script and the interactive one spawned by 'docker exec'
have pid != 1.