diff options
| author | Bart Schaefer <schaefer@zsh.org> | 2022-04-29 20:25:53 -0700 |
|---|---|---|
| committer | Bart Schaefer <schaefer@zsh.org> | 2022-04-29 20:25:53 -0700 |
| commit | 15bf8ace168a86d0fae90b10e9f706baddd4c0bf (patch) | |
| tree | 311f341dec249d4f6accccc8e56cebeb4121a02f /Etc | |
| parent | 8eccdc5cb7311676820db5b03895f64748f33636 (diff) | |
| download | zsh-15bf8ace168a86d0fae90b10e9f706baddd4c0bf.tar.gz zsh-15bf8ace168a86d0fae90b10e9f706baddd4c0bf.tar.xz zsh-15bf8ace168a86d0fae90b10e9f706baddd4c0bf.zip | |
50134: Tweak process group handling to prevent unkillable pipelines
In some cases the process group leader of the forked-left side of a pipe needs to be set to the pipe process PID rather than to the group leader PID returned by entersubsh().
Diffstat (limited to 'Etc')
0 files changed, 0 insertions, 0 deletions