From 8c3e92d094d36e539620e61cff218462e064645d Mon Sep 17 00:00:00 2001 From: Oleg Sheynin Date: Mon, 24 Apr 2023 18:15:20 -0400 Subject: [PATCH] fix --- release_version.txt | 2 +- scripts/config_server_start.sh | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/release_version.txt b/release_version.txt index 5c4511c..7d6b3eb 100644 --- a/release_version.txt +++ b/release_version.txt @@ -1 +1 @@ -0.0.7 \ No newline at end of file +0.0.8 \ No newline at end of file diff --git a/scripts/config_server_start.sh b/scripts/config_server_start.sh index c771be7..689c5ab 100755 --- a/scripts/config_server_start.sh +++ b/scripts/config_server_start.sh @@ -66,7 +66,7 @@ function start_it { } function check_it { - if !(timeout 3 curl -s localhost:${AdminPort}/ping > /dev/null) + if !(timeout 3 curl -s localhost:${ServicePort}/ping > /dev/null) then echo "${Script} doesn't respond. restarting..." pids=$(ps -ef | grep "port=${ServicePort}" | grep "root=${ServiceDir}" | grep -v grep | tr -s ' ' |cut -d' ' -f2) @@ -87,10 +87,10 @@ function kill_it { echo "Killing ${pids} ..." kill -9 ${pids} fi - while (timeout 3 curl -s localhost:${AdminPort}/ping > /dev/null) + while (timeout 3 curl -s localhost:${ServicePort}/ping > /dev/null) do - echo "Shutting down localhost:${AdminPort}/shutdown ..." - timeout 10 curl -s localhost:${AdminPort}/shutdown + echo "Shutting down localhost:${ServicePort}/shutdown ..." + timeout 10 curl -s localhost:${ServicePort}/shutdown done }