github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2025-02-20 11:36:15 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Correctly handle exited jobs in process_mark_finished_children

Browse Source 
This is effectively a pick of 2ebdcf82ee
and the subsequent fixup. However we also avoid setting WNOHANG unless
waitpid() indicates a process was reaped.

Fixes #5438
This commit is contained in:
ridiculousfish 2019-01-20 15:04:27 -08:00
parent e490372fbf
commit fec10830d3
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/proc.cpp
View File

@ -517,14 +517,14 @@ static bool process_mark_finished_children(bool block_on_fg) {
pid = waitpid(-1 * j->pgid, &status, options); pid = waitpid(-1 * j->pgid, &status, options);
} }
// Never make two calls to waitpid(2) without WNOHANG (i.e. with "HANG") in a row,
// because we might wait on a non-stopped job that becomes stopped, but we don't refresh
// our view of the process state before calling waitpid(2) again here.
options |= WNOHANG;
if (pid > 0) { if (pid > 0) {
// A child process has been reaped // A child process has been reaped
handle_child_status(pid, status); handle_child_status(pid, status);
// Always set WNOHANG (that is, don't hang). Otherwise we might wait on a non-stopped job
// that becomes stopped, but we don't refresh our view of the process state before
// calling waitpid(2) again here.
options |= WNOHANG;
} else if (pid == 0 || errno == ECHILD) { } else if (pid == 0 || errno == ECHILD) {
// No killed/dead children in this particular process group // No killed/dead children in this particular process group
if (!wait_by_process) { if (!wait_by_process) {