]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-bootmisc_mowgli.sh
use new daemon_respawner.sh
[helm.git] / helm / scripts / init.d / helm-bootmisc_mowgli.sh
index 41a2af838c187f69cdde475cd4fe155df111d061..fc24432d216b457e22a0845f14daebc515af8743 100755 (executable)
@@ -6,7 +6,7 @@ if [ -f /etc/default/helm_mowgli ]; then
 fi
 
 # clean pid file for helm related daemons
-( cd /projects/helm/run/ && rm -f *.pid )
+( cd /var/run/ && rm -f *_mowgli.pid )
 
 # create http_getter cache dirs
 for d in $HTTP_GETTER_CACHE_DIRS; do