diff options
Diffstat (limited to 'config-proxy')
-rwxr-xr-x | config-proxy/src/main/sh/vespa-config-ctl.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config-proxy/src/main/sh/vespa-config-ctl.sh b/config-proxy/src/main/sh/vespa-config-ctl.sh index c6c1afea62c..91e4cd39bd2 100755 --- a/config-proxy/src/main/sh/vespa-config-ctl.sh +++ b/config-proxy/src/main/sh/vespa-config-ctl.sh @@ -153,6 +153,11 @@ case $1 in elif ! vespa-ping-configproxy -s $hname then echo "failed to ping config proxy $hname" 1>&2 + # TODO: Dump stack trace for debugging, remove after April 2020 + kill -3 `pgrep -f -n configproxy` + sleep 2 + kill -3 `pgrep -f -n configproxy` + sleep 2 kill -3 `pgrep -f -n configproxy` fi |