]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/init.d/helm-bootmisc.sh
added http_client module
[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   if ! [ -d $d ]; then
14     mkdir -m 2775 $d
15     OWNER=`echo -n $OWNER | sed -e 's/:/./'`
16     chown $OWNER $d
17   fi
18 done
19