]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/init.d/helm-bootmisc_mowgli.sh
use new daemon_respawner.sh
[helm.git] / helm / scripts / init.d / helm-bootmisc_mowgli.sh
1 #!/bin/sh
2
3 HTTP_GETTER_CACHE_DIRS=""
4 if [ -f /etc/default/helm_mowgli ]; then
5   . /etc/default/helm_mowgli
6 fi
7
8 # clean pid file for helm related daemons
9 ( cd /var/run/ && rm -f *_mowgli.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