From acb803768c31521d578c9651abc9b5df671ff1a1 Mon Sep 17 00:00:00 2001
From: Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de>
Date: Feb 11 2020 18:15:06 +0000
Subject: subr/ex_rtl.subr:ex_rtl_kill_tree(): correctly kill ${_pid_top}.


---

diff --git a/subr/ex_rtl.subr b/subr/ex_rtl.subr
index 6bbbe5e..d61eb0c 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;
 };