diff options
| -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; }; |