diff options
| author | Paul Buetow <git@mx.buetow.org> | 2021-04-03 10:07:38 +0100 |
|---|---|---|
| committer | Paul Buetow <git@mx.buetow.org> | 2021-04-03 10:07:38 +0100 |
| commit | 2ea7426a1955c30f2aaf299b47f74786fc0b9549 (patch) | |
| tree | eb59a8140e1e661b9a54f49a274514c93391c3f2 /docker | |
| parent | 7d1e3195a1eaedceaa125b59381170ea4906230b (diff) | |
remove serverlist on spindown
Diffstat (limited to 'docker')
| -rwxr-xr-x | docker/spindown.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docker/spindown.sh b/docker/spindown.sh index b3d3a8c..1b171f3 100755 --- a/docker/spindown.sh +++ b/docker/spindown.sh @@ -3,6 +3,8 @@ 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 |