From d40804da899c73e17f8541bbed9d2746baf04b45 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Tue, 9 Mar 2021 16:28:09 +0200
Subject: Reduce retry delay in remove-machine

---
 remove-machine | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
cgit v1.1