| commit | 894154f155ba5dafa51aec7e8ee0cb88f9ca52e8 | [log] [tgz] |
|---|---|---|
| author | Shawn Pearce <sop@google.com> | Fri Nov 26 17:52:30 2010 -0800 |
| committer | Android Code Review <code-review@android.com> | Fri Nov 26 17:52:30 2010 -0800 |
| tree | 1af0b2ad991e49347fb0f675babcf2bb6b2e46b2 | |
| parent | 11bf1020bf5d8cd558690f4d7a3f0097d516aa59 [diff] | |
| parent | 56ed4f6e331139d2e873c367e4f256bd2c663ea9 [diff] |
Merge "gerrit.sh: actually verify running processes"
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 6adab03..2a4991e 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 @@ 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 ;;