Wait 10 iterations at most in clear-omninames.sh

jrl-umi3218 · Sep 5, 2022 · 953227e · 953227e
1 parent eec3653
commit 953227e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/projects/JVRC1/cnoid/clear-omninames.sh b/projects/JVRC1/cnoid/clear-omninames.sh
@@ -5,8 +5,9 @@ sudo rm -f /var/log/omniorb-nameserver.log 2> /dev/null
 sudo rm -f /var/lib/omniorb/* 2> /dev/null
 sudo rm -f /tmp/rtcmanager.ref 2> /dev/null
 sudo /etc/init.d/omniorb4-nameserver start
-until [ -f /var/log/omniorb-nameserver.log ]
+for i in {0..9}
 do
-     sleep 1
+    [ -f /var/log/omniorb-nameserver.log ] && break
+    sleep 1
 done
 tail /var/log/omniorb-nameserver.log