+ PID=`cat $ff 2>/dev/null`
+ if [ -n "$PID" ] ; then
+ echo -n "Stopping $f ($PID)..."
+ if kill -3 $PID 2>/dev/null ; then
+ count=0
+ while kill -0 $PID 2>/dev/null ; do
+ sleep 1
+ count=$(($count + 1))
+ if [ $count -gt 5 ]; then break; fi
+ done
+ if kill -9 $PID 2>/dev/null ; then
+ echo "FORCIBLY TERMINATED"
+ else
+ echo "STOPPED CLEANLY"
+ fi
+ else
+ echo "NOT FOUND"
+ fi
+ fi
+ rm -f $ff
+ done
+done