diff --git a/projects/JVRC1/cnoid/clear-omninames.sh b/projects/JVRC1/cnoid/clear-omninames.sh index 16032e6..d8b4fd8 100755 --- a/projects/JVRC1/cnoid/clear-omninames.sh +++ b/projects/JVRC1/cnoid/clear-omninames.sh @@ -1,8 +1,8 @@ #!/bin/bash sudo /etc/init.d/omniorb4-nameserver stop -sudo rm /var/log/omniorb-nameserver.log 2> /dev/null -sudo rm /var/lib/omniorb/* 2> /dev/null +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