]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-bootmisc_mowgli.sh
New version of the library added.
[helm.git] / helm / scripts / init.d / helm-bootmisc_mowgli.sh
diff --git a/helm/scripts/init.d/helm-bootmisc_mowgli.sh b/helm/scripts/init.d/helm-bootmisc_mowgli.sh
new file mode 100755 (executable)
index 0000000..41a2af8
--- /dev/null
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+HTTP_GETTER_CACHE_DIRS=""
+if [ -f /etc/default/helm_mowgli ]; then
+  . /etc/default/helm_mowgli
+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
+    mkdir -m 2775 $d
+    OWNER=`echo -n $OWNER | sed -e 's/:/./'`
+    chown $OWNER $d
+  fi
+done
+