From e9a07b1b74d6aca3a862cc7f342bf452872986c5 Mon Sep 17 00:00:00 2001
From: Oleg Sheynin <osheynin@gmail.com>
Date: Mon, 24 Apr 2023 18:48:40 -0400
Subject: [PATCH] shutdown fix

---
 release_version.txt            | 2 +-
 scripts/config_server_start.sh | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

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