diff --git a/projects/JVRC1/cnoid/clear-omninames.sh b/projects/JVRC1/cnoid/clear-omninames.sh index 6159e10..07bfb1b 100755 --- 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