]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/init.d/helm-bootmisc.sh
added bootmisc and tomcat scripts
[helm.git] / helm / scripts / init.d / helm-bootmisc.sh
1 #!/bin/sh
2
3 HTTP_GETTER_CACHE_DIRS=""
4 if [ -f /etc/default/helm ]; then
5   . /etc/default/helm
6 fi
7
8 # clean pid file for helm related daemons
9 ( cd /projects/helm/run/ && rm -f *.pid )
10
11 # create http_getter cache dirs
12 for d in $HTTP_GETTER_CACHE_DIRS; do
13   mkdir -m 2755 $d
14   OWNER=`echo -n $OWNER | sed -e 's/:/./'`
15   chown $OWNER $d
16 done
17