diff options
| author | Paul Buetow <35781042+pbuetow@users.noreply.github.com> | 2021-03-29 17:49:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-29 17:49:16 +0100 |
| commit | 9a467da883976c74d231ea9c7773430f583bab98 (patch) | |
| tree | 4e75a996ef44bc5adc771c318753b0c4ad934269 /docker/spindown.sh | |
| parent | e811d1725ee5f931ece6fac01db70227b0fc8a7a (diff) | |
| parent | 93fce245564ffde20c3e5113757bc65672f69ed5 (diff) | |
Merge pull request #22 from snonux/develop
Add context awareness to dgrep
Diffstat (limited to 'docker/spindown.sh')
| -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 |