5 while [ ! -z "$PID_LIST" ]
7 #PID_LIST=`ps -o pid= --ppid "$PID_LIST"| sed 's/^ *//g'`
8 PID_LIST=`ps -o pid= --ppid "$PID_LIST"`
9 PID_LIST=`echo $PID_LIST`
10 #PID_LIST=`ps -o pid= --ppid "$PID_LIST"`
15 kill_all_children () {
18 kill -9 `listall "$*"`
24 kill_all_children "$*"