Merge pull request #20 from mmurooka/patch-1

jrl-umi3218 · Sep 5, 2022 · bc76eb8 · bc76eb8
2 parents 0b5110c + 953227e
commit bc76eb8
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/projects/JVRC1/cnoid/clear-omninames.sh b/projects/JVRC1/cnoid/clear-omninames.sh
@@ -5,5 +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
-sleep 1
+for i in {0..9}
+do
+    [ -f /var/log/omniorb-nameserver.log ] && break
+    sleep 1
+done
 tail /var/log/omniorb-nameserver.log