merge 4.0.0-RC

1 files changed, 7 insertions, 4 deletions

diff --git a/docker/spindown.sh b/docker/spindown.sh
index 1b171f3..7cf9cc6 100755
--- a/docker/spindown.sh
+++ b/docker/spindown.sh
@@ -3,10 +3,13 @@
 declare -i NUM_INSTANCES=$1
 declare -i BASE_PORT=2222
 
-rm serverlist.txt &>/dev/null
-
 for (( i=0; i < $NUM_INSTANCES; i++ )); do
     port=$[ BASE_PORT + i + 1 ]
-	docker stop dserver-serv$i 
-	docker rm dserver-serv$i 
+    name=dserver-serv$i
+    echo Stopping $name
+    docker stop $name
+    echo Removing $name
+    docker rm $name
 done
+
+exit 0