diff options
-rwxr-xr-x | remove-machine | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remove-machine b/remove-machine index 71c1fc1..febfac5 100755 --- a/remove-machine +++ b/remove-machine @@ -69,7 +69,7 @@ sv=($(ssh "$host" "shopt -s nullglob; echo $machines/$mname/$mname-*-*/")) for d in "${sv[@]}"; do while ssh "$host" test -d "$d"; do echo "waiting for $d to disappear..." - sleep 10 + sleep 1 done done |