diff options
| -rwxr-xr-x | bin/timekeeper | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/timekeeper b/bin/timekeeper index aa0b21c..73aa32a 100755 --- a/bin/timekeeper +++ b/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 |