1 files changed, 5 insertions, 1 deletions
diff --git a/docker/spindown.sh b/docker/spindown.sh
index 73ed059..2202d22 100755
--- a/docker/spindown.sh
+++ b/docker/spindown.sh
@@ -5,5 +5,9 @@ declare -i BASE_PORT=2222
 
 for (( i=0; i < $NUM_INSTANCES; i++ )); do
     port=$[ BASE_PORT + i + 1 ]
-	docker stop dserver-serv$i 
+    name=dserver-serv$i
+    echo Stopping $name
+    docker stop $name
+    echo Removing $name
+    docker rm $name
 done