diff options
Diffstat (limited to 'docker/spindown.sh')
| -rwxr-xr-x | docker/spindown.sh | 11 |
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 |
