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 /Scripts | |
| parent | Ensure we _exit if forked in execcmd_exec(). (diff) | |
| download | zsh-fork_early.tar zsh-fork_early.tar.gz zsh-fork_early.tar.bz2 zsh-fork_early.tar.lz zsh-fork_early.tar.xz zsh-fork_early.tar.zst 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 'Scripts')
0 files changed, 0 insertions, 0 deletions