]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-bootmisc.sh
ocaml 3.09 transition
[helm.git] / helm / scripts / init.d / helm-bootmisc.sh
index 79e3b69a78c131ef84545f94f07e71d7fd0e1866..37decf7232119d31c83dc708e576ccce919f80c2 100755 (executable)
@@ -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