Merge "gerrit.sh: actually verify running processes"

2010-11-26 17:52:30 -08:00
parent 11bf1020bf 56ed4f6e33
commit 894154f155
1 changed files with 4 additions and 2 deletions
--- a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh
+++ b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh
@@ -522,8 +522,10 @@ case "$ACTION" in
    echo

    if test -f "$GERRIT_PID" ; then
-        echo "Gerrit running pid="`cat "$GERRIT_PID"`
-        exit 0
+        if running "$GERRIT_PID" ; then
+            echo "Gerrit running pid="`cat "$GERRIT_PID"`
+            exit 0
+        fi
    fi
    exit 1
  ;;