kill -KILL makes geth shut down unclean

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
 }