wok diff boinc/stuff/boinc-client @ rev 22649

updated djview (4.10.3 -> 4.10.6)
author: Hans-G?nter Theisgen
date: Tue Jan 14 13:39:45 2020 +0100 (2020-01-14)
parents: 02c70d036ea0
     1.1 --- a/boinc/stuff/boinc-client	Tue Feb 26 09:14:07 2019 +0100
     1.2 +++ b/boinc/stuff/boinc-client	Tue Jan 14 13:39:45 2020 +0100
     1.3 @@ -342,20 +342,20 @@
     1.4  
     1.5    status)
     1.6          PID=`cat $PIDFILE 2>/dev/null`
     1.7 -        if [ "$PID" != "" ]; then
     1.8 +        if [ -n "$PID" ]; then
     1.9            # is it still running?
    1.10            if [ -z "`${PS} $PID | grep $PID`" ]; then
    1.11              # not running.  Try the other tests.
    1.12              PID=""
    1.13            fi
    1.14          fi
    1.15 -        if [ "$PID" = "" ]; then
    1.16 +        if [ -z "$PID" ]; then
    1.17            PID=`local_pidof $BOINCEXE_NAME`
    1.18          fi
    1.19 -        if [ "$PID" = "" ]; then
    1.20 +        if [ -z "$PID" ]; then
    1.21            PID=`local_pidof $BOINCEXE`
    1.22          fi
    1.23 -        if [ "$PID" != "" ]; then
    1.24 +        if [ -n "$PID" ]; then
    1.25            echo "BOINC client is running (pid $PID)."
    1.26          else
    1.27            if [ -f $BOINCDIR/lockfile -o -f $LOCKFILE ]; then