diff options
author | Peter Stephenson <pws@zsh.org> | 2016-09-16 09:34:17 +0100 |
---|---|---|
committer | Peter Stephenson <pws@zsh.org> | 2016-09-16 17:23:12 +0100 |
commit | 327f3dd3adfc8fdd6c356722d093a340b81190a7 (patch) | |
tree | 013049092ef15b18d3dc4c308a3fc9ab7c7b765a /Doc/Makefile.in | |
parent | 01ae64c0d74c17e36bfe6f52394a59754b8e8c92 (diff) | |
download | zsh-327f3dd3adfc8fdd6c356722d093a340b81190a7.tar.gz zsh-327f3dd3adfc8fdd6c356722d093a340b81190a7.tar.xz zsh-327f3dd3adfc8fdd6c356722d093a340b81190a7.zip |
39359: Fix remaining race with orphaned subjob.
When shell is forked to run right hand side of pipieline it should use its own PID as process group if the left hand side of the pipeline has already exited.
Diffstat (limited to 'Doc/Makefile.in')
0 files changed, 0 insertions, 0 deletions