acb803 subr/ex_rtl.subr:ex_rtl_kill_tree(): correctly kill ${_pid_top}.

Authored and Committed by Lucio Andrés Illanes Albornoz 4 years ago
    subr/ex_rtl.subr:ex_rtl_kill_tree(): correctly kill ${_pid_top}.
    
        
file modified
+1 -1