diff options
| author | Thomas Draebing <thomas.draebing@sap.com> | 2019-07-09 16:54:50 +0200 |
|---|---|---|
| committer | Thomas Draebing <thomas.draebing@sap.com> | 2019-07-10 14:06:36 +0200 |
| commit | 002f0384fa1d29de34acc505ae1ebee9ca44f3f5 (patch) | |
| tree | 188544df14dcd76ed6207cb5e56fc3d07be0d9b9 | |
| parent | 8109e14607ce0c9ce34b711e9a53d0914e42e408 (diff) | |
Adapt gerrit.sh script to work on Alpine Linux
The gerrit.sh-script was failing on Alpine Linux, since in Alpine the
`ps`-command does not provide the `-p`-option.
Change-Id: I89bf9e25528ffb955f92e148bc7994f2cdcf8f92
| -rwxr-xr-x | gerrit-pgm/src/main/resources/com/google/gerrit/pgm/init/gerrit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/init/gerrit.sh b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/init/gerrit.sh index 77e2de80ad..58ea2900c9 100755 --- a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/init/gerrit.sh +++ b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/init/gerrit.sh @@ -63,7 +63,7 @@ test $# -gt 0 || usage running() { test -f $1 || return 1 PID=`cat $1` - ps -p $PID >/dev/null 2>/dev/null || return 1 + ps -o pid | grep -w $PID >/dev/null 2>/dev/null || return 1 return 0 } |