about summary refs log tree commit diff
path: root/LICENCE
diff options
context:
space:
mode:
authorPeter Stephenson <p.stephenson@samsung.com>2018-04-20 13:10:14 +0100
committerPeter Stephenson <p.stephenson@samsung.com>2018-04-20 13:10:14 +0100
commit85bed930922bc6e0b1a5fa57eacfecce731ce978 (patch)
treea2e6014369e2833bfa3ed1ca53945d7fac88f110 /LICENCE
parente1048fb2e93a139e849df5b642ada2886a8fae82 (diff)
downloadzsh-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 'LICENCE')
0 files changed, 0 insertions, 0 deletions