diff options
author | Bjørn Christian Seime <bjorncs@verizonmedia.com> | 2021-09-24 11:06:57 +0200 |
---|---|---|
committer | Bjørn Christian Seime <bjorncs@verizonmedia.com> | 2021-09-24 11:06:57 +0200 |
commit | 957cd595c0093d1838928db612a004a275bd376e (patch) | |
tree | 417feda1b63867f140e0e6d432e1c69a0aa1e23f /container-core | |
parent | 969382fabf7eb7f673058e0e4c6c18bb5eb46ac1 (diff) |
Deduplicate
Diffstat (limited to 'container-core')
-rwxr-xr-x | container-core/src/main/sh/find-pid | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/container-core/src/main/sh/find-pid b/container-core/src/main/sh/find-pid index 2535bdbe8a9..56c387387d4 100755 --- a/container-core/src/main/sh/find-pid +++ b/container-core/src/main/sh/find-pid @@ -83,7 +83,7 @@ fi readonly service=$1 readonly pid_file="$VESPA_HOME/var/run/$service.pid" -if [ -f "$VESPA_HOME/var/run/$service.pid" ]; then +if [ -f "$pid_file" ]; then parent_pid=$(cat "$pid_file") pid=$(pgrep --parent $parent_pid) else |