aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2021-03-09 16:28:09 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2021-03-09 16:28:09 +0200
commitd40804da899c73e17f8541bbed9d2746baf04b45 (patch)
tree2efd0de72ce59b9ffc604aa3fead09d85b23779b
parent021ba6a47856a96bf44cb3d8bf39f6f73ec741da (diff)
Reduce retry delay in remove-machine
-rwxr-xr-xremove-machine2
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