summaryrefslogtreecommitdiffhomepage
path: root/subr
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2020-02-21 01:14:04 +0100
committerLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2020-02-21 01:14:04 +0100
commit16bae72784ea3a965459ec595453f04b8936566b (patch)
tree968054d3a80f76dfdf9c1b1a0065c96a92fa6d5d /subr
parent0bd166bdde85cfb868b20d0381f19932e978de2c (diff)
downloadmidipix_build-16bae72784ea3a965459ec595453f04b8936566b.tar.bz2
midipix_build-16bae72784ea3a965459ec595453f04b8936566b.tar.xz
subr/ex_rtl_complex.subr:ex_rtl_kill_tree(): join line.
Diffstat (limited to 'subr')
-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;