X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fhelm-bootmisc.sh;h=37decf7232119d31c83dc708e576ccce919f80c2;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=79e3b69a78c131ef84545f94f07e71d7fd0e1866;hpb=3857ed609d4f77e7554d18df5ef7c5a4d129f182;p=helm.git diff --git a/helm/scripts/init.d/helm-bootmisc.sh b/helm/scripts/init.d/helm-bootmisc.sh index 79e3b69a7..37decf723 100755 --- a/helm/scripts/init.d/helm-bootmisc.sh +++ b/helm/scripts/init.d/helm-bootmisc.sh @@ -5,9 +5,6 @@ if [ -f /etc/default/helm ]; then . /etc/default/helm fi -# clean pid file for helm related daemons -( cd /projects/helm/run/ && rm -f *.pid ) - # create http_getter cache dirs for d in $HTTP_GETTER_CACHE_DIRS; do if ! [ -d $d ]; then