diff --git a/bin/singlestart.sh b/bin/singlestart.sh
index aa7da1c932b63df4d67c36c56e7d40034d5b0782..61d20edd955125ae965aad5bc11ccedecc11c531 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
 }