diff options
author | Peter Stephenson <p.stephenson@samsung.com> | 2018-04-20 13:10:14 +0100 |
---|---|---|
committer | Peter Stephenson <p.stephenson@samsung.com> | 2018-04-20 13:10:14 +0100 |
commit | 85bed930922bc6e0b1a5fa57eacfecce731ce978 (patch) | |
tree | a2e6014369e2833bfa3ed1ca53945d7fac88f110 /Doc/Zsh/mod_datetime.yo | |
parent | e1048fb2e93a139e849df5b642ada2886a8fae82 (diff) | |
download | zsh-fork_early.tar.gz zsh-fork_early.tar.xz zsh-fork_early.zip |
Rationalise use of forks and pipes. fork_early
Ensure we _exit instead of returning from execcmd_exec() if we have forked. Before the optimisation code after the fork always ran to the check at the end, but that code is overkill for the logic between the early fork and the existing one. Remove old workaround to fork in caller of execcmd for current shell constructs as no longer needed with early fork below. Close input of newly created pipe on fork (destined for RHS of pipe which we never execute): this replaces a workaround from zsh-workers/32171, commit 9887fc3d7b. Set last1 on early fork as needed by some instances of shell constructs on LHS of pipeline to know they are exiting.
Diffstat (limited to 'Doc/Zsh/mod_datetime.yo')
0 files changed, 0 insertions, 0 deletions