5 ps -o s= -o pid= $pids | sed -n 's/^[^ZT][[:space:]]\+//p';
8 PID=$(pgrep_live ^ADML)
9 [ -z "$PID" ] && exit 0
12 # Protection to force kill (with SIGKILL) if ADML still alive after certain time:
14 count=$((10*seconds2force))
16 while [ $kill0 -eq 0 -a $count -gt 0 ]
20 kill -0 $PID 2>/dev/null
24 [ $kill0 -eq 0 ] && { echo " sigkill to ADML pid $PID !" ; kill -9 $PID ; }