diff options
Diffstat (limited to 'scripts/clean')
-rwxr-xr-x | scripts/clean/server/test.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/clean/server/test.sh b/scripts/clean/server/test.sh index b897c30ba..5694ac922 100755 --- a/scripts/clean/server/test.sh +++ b/scripts/clean/server/test.sh | |||
@@ -21,7 +21,14 @@ dropRedis () { | |||
21 | redis-cli KEYS "redis-localhost:900$1*" | grep -v empty | xargs --no-run-if-empty redis-cli DEL | 21 | redis-cli KEYS "redis-localhost:900$1*" | grep -v empty | xargs --no-run-if-empty redis-cli DEL |
22 | } | 22 | } |
23 | 23 | ||
24 | for i in $(seq 1 6); do | 24 | seq=$(seq 1 6) |
25 | |||
26 | if [ ! -z ${1+x} ]; then | ||
27 | seq=$1 | ||
28 | fi | ||
29 | |||
30 | |||
31 | for i in $seq; do | ||
25 | recreateDB "$i" & | 32 | recreateDB "$i" & |
26 | dropRedis "$i" & | 33 | dropRedis "$i" & |
27 | removeFiles "$i" & | 34 | removeFiles "$i" & |