diff options
| -rwxr-xr-x | docker/spindown.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/spindown.sh b/docker/spindown.sh index 73ed059..b3d3a8c 100755 --- a/docker/spindown.sh +++ b/docker/spindown.sh @@ -6,4 +6,5 @@ declare -i BASE_PORT=2222 for (( i=0; i < $NUM_INSTANCES; i++ )); do port=$[ BASE_PORT + i + 1 ] docker stop dserver-serv$i + docker rm dserver-serv$i done |