summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--subr/ex_rtl_complex.subr3
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;