diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 17:09:33 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 17:09:33 +0000 |
| commit | 6c366071bd3ec4c423d8155509280f88e55a3ebc (patch) | |
| tree | e6855b3e35de0e07e099f799a30bfade390ef691 /subr/ex_rtl.subr | |
| parent | 8a04deff7e91795435db7b751352512f116c7aba (diff) | |
| download | midipix_build-6c366071bd3ec4c423d8155509280f88e55a3ebc.tar.bz2 midipix_build-6c366071bd3ec4c423d8155509280f88e55a3ebc.tar.xz | |
subr/build_init.subr:build_{ast,init}(): call ex_rtl_kill_tree() on $$ on signal.
subr/build_init.subr:build_init(): check for pgrep(1) in $PATH.
subr/ex_rtl.subr:ex_rtl_kill_tree(): implement w/ pgrep(1).
Diffstat (limited to 'subr/ex_rtl.subr')
| -rw-r--r-- | subr/ex_rtl.subr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/subr/ex_rtl.subr b/subr/ex_rtl.subr index 3f5e8c70..6bbbe5e4 100644 --- a/subr/ex_rtl.subr +++ b/subr/ex_rtl.subr @@ -17,6 +17,16 @@ ex_rtl_toupper() { echo "${1}" | tr a-z A-Z; }; ex_rtl_uniq() { echo "${@}" | sed 's/ /\n/g' | awk '!x[$0]++' | paste -s -d" "; }; ex_rtl_unset_vars() { while [ ${#} -gt 0 ]; do unset "${1}"; shift; done; }; +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; + done; + _pids_killed="${_pids_killed:+${_pids_killed} }${_pid_child}"; kill "-${_signal}" "${_pid_child}" 2>/dev/null; + done; +}; + ex_rtl_lfilter() { local _list="${1}" _filter="${2}" _lnew="" _litem="" _litem_filter="" _filterfl=""; if [ -z "${_filter}" ]; then |