diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 18:15:06 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 18:15:06 +0000 |
| commit | acb803768c31521d578c9651abc9b5df671ff1a1 (patch) | |
| tree | 4699efe5c4ed4523dcd469710cbc2db280e2b94a | |
| parent | e9feabf19b5fb157328d12a306ad33f7ec8ded77 (diff) | |
| download | midipix_build-acb803768c31521d578c9651abc9b5df671ff1a1.tar.bz2 midipix_build-acb803768c31521d578c9651abc9b5df671ff1a1.tar.xz | |
subr/ex_rtl.subr:ex_rtl_kill_tree(): correctly kill ${_pid_top}.
| -rw-r--r-- | subr/ex_rtl.subr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subr/ex_rtl.subr b/subr/ex_rtl.subr index 6bbbe5e4..d61eb0c7 100644 --- a/subr/ex_rtl.subr +++ b/subr/ex_rtl.subr @@ -23,7 +23,7 @@ ex_rtl_kill_tree() { for _pid_child in $(pgrep -P "${_pid_top}" 2>/dev/null); do _pids_killed="${_pids_killed:+${_pids_killed} }${_pid_child}"; kill "-${_signal}" "${_pid_child}" 2>/dev/null; done; - _pids_killed="${_pids_killed:+${_pids_killed} }${_pid_child}"; kill "-${_signal}" "${_pid_child}" 2>/dev/null; + _pids_killed="${_pids_killed:+${_pids_killed} }${_pid_top}"; kill "-${_signal}" "${_pid_top}" 2>/dev/null; done; }; |