From ebd98a7ad079b5d2c9faab4f92366f4f90785ecf Mon Sep 17 00:00:00 2001
From: Robert Martin-Legene <robert@martin-legene.dk>
Date: Fri, 24 Jul 2020 11:24:54 -0300
Subject: [PATCH] kill -KILL makes geth shut down unclean

---
 bin/singlestart.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/singlestart.sh b/bin/singlestart.sh
index aa7da1c..61d20ed 100755
--- a/bin/singlestart.sh
+++ b/bin/singlestart.sh
@@ -46,7 +46,7 @@ function killallprocs()
     if [ ${#PIDIDX[*]} -gt 0 ]
     then
         echo "*** Killing all remaining processes: ${PIDIDX[*]} (${!PIDIDX[*]})."
-        kill -KILL ${!PIDIDX[*]} 2>/dev/null || true
+        kill ${!PIDIDX[*]} 2>/dev/null || true
     fi
 }
 
-- 
GitLab