diff options
| -rw-r--r-- | data/example.chk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/data/example.chk b/data/example.chk index fbbf4847e..119b1ca99 100644 --- a/data/example.chk +++ b/data/example.chk @@ -37,7 +37,8 @@ cd $ANOPATH if [ -f "$ANODATA/$ANOPIDF" ] then ANOPID=`cat "$ANODATA/$ANOPIDF"` - if [ `ps auwx | grep $ANOPROG | grep $ANOPID | grep -v -c grep` = 1 ] + kill -0 $ANOPID 2>/dev/null + if [ $? -eq 0 ] then exit fi |