diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-21 01:14:04 +0100 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-21 01:14:04 +0100 |
| commit | 16bae72784ea3a965459ec595453f04b8936566b (patch) | |
| tree | 968054d3a80f76dfdf9c1b1a0065c96a92fa6d5d /subr | |
| parent | 0bd166bdde85cfb868b20d0381f19932e978de2c (diff) | |
| download | midipix_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.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; |