diff options
| author | Shawn Pearce <sop@google.com> | 2010-11-26 17:52:30 -0800 |
|---|---|---|
| committer | Android Code Review <code-review@android.com> | 2010-11-26 17:52:30 -0800 |
| commit | 894154f155ba5dafa51aec7e8ee0cb88f9ca52e8 (patch) | |
| tree | 1af0b2ad991e49347fb0f675babcf2bb6b2e46b2 | |
| parent | 11bf1020bf5d8cd558690f4d7a3f0097d516aa59 (diff) | |
| parent | 56ed4f6e331139d2e873c367e4f256bd2c663ea9 (diff) | |
Merge "gerrit.sh: actually verify running processes"
| -rwxr-xr-x | gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh index 6adab03453..2a4991ea63 100755 --- 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 ;; |