[svn-r11428] Purpose:

Bug fix.

Description:
In some racing condition, the process ID file might be removed just
the moment before timekeeper cats its content. When that happens,
the $pid is a blank.  Timekeeper was not prepared for this.

Solution:
Added code to verify $pid is some number before proceeding.

Platforms tested:
Tested by hand only.

bin/timekeeper

@@ -100,7 +100,7 @@ if [ -z "$debugflag" ]; then
 	if [ -f $x ]; then
 	    pid=`cat $x`
 	    # check if process is still around
-	    if ps $pid > /dev/null; then
+	    if test X$pid \!= X && ps -p $pid > /dev/null; then
 		echo "terminating process $x ($pid)"
 		kill -HUP $pid
 	    fi