X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fhelm-bootmisc_mowgli.sh;h=fc24432d216b457e22a0845f14daebc515af8743;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=41a2af838c187f69cdde475cd4fe155df111d061;hpb=d63f384d57565bce1efbcf50b1c0b50f76397c85;p=helm.git diff --git a/helm/scripts/init.d/helm-bootmisc_mowgli.sh b/helm/scripts/init.d/helm-bootmisc_mowgli.sh index 41a2af838..fc24432d2 100755 --- a/helm/scripts/init.d/helm-bootmisc_mowgli.sh +++ b/helm/scripts/init.d/helm-bootmisc_mowgli.sh @@ -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