From acb803768c31521d578c9651abc9b5df671ff1a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?= Date: Tue, 11 Feb 2020 18:15:06 +0000 Subject: subr/ex_rtl.subr:ex_rtl_kill_tree(): correctly kill ${_pid_top}. --- subr/ex_rtl.subr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; }; -- cgit v1.2.3