diff --git a/release_version.txt b/release_version.txt index 7d6b3eb..429d94a 100644 --- a/release_version.txt +++ b/release_version.txt @@ -1 +1 @@ -0.0.8 \ No newline at end of file +0.0.9 \ No newline at end of file diff --git a/scripts/config_server_start.sh b/scripts/config_server_start.sh index 689c5ab..d4cb128 100755 --- a/scripts/config_server_start.sh +++ b/scripts/config_server_start.sh @@ -89,8 +89,9 @@ function kill_it { fi while (timeout 3 curl -s localhost:${ServicePort}/ping > /dev/null) do - echo "Shutting down localhost:${ServicePort}/shutdown ..." - timeout 10 curl -s localhost:${ServicePort}/shutdown + echo "Shutting down localhost:${ServicePort}/__shutdown__ ..." + timeout 10 curl -s localhost:${ServicePort}/__shutdown__ + sleep 1 done } @@ -111,7 +112,6 @@ then fi start_it - while true do check_it