diff options
| -rw-r--r-- | subr/ex_rtl_complex.subr | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/subr/ex_rtl_complex.subr b/subr/ex_rtl_complex.subr index 4b8da0ac..869cbba7 100644 --- a/subr/ex_rtl_complex.subr +++ b/subr/ex_rtl_complex.subr @@ -31,8 +31,7 @@ ex_rtl_kill_tree() { local _pid="${1}" _signal="TERM" _pid_child="" _pid_top=""; for _pid_top in $(pgrep -P "${_pid}"); do 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; + _pids_killed="${_pids_killed:+${_pids_killed} }${_pid_child}"; kill "-${_signal}" "${_pid_child}" 2>/dev/null; done; _pids_killed="${_pids_killed:+${_pids_killed} }${_pid_top}"; kill "-${_signal}" "${_pid_top}" 2>/dev/null; done; |