]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-bootmisc.sh
added bootmisc and tomcat scripts
[helm.git] / helm / scripts / init.d / helm-bootmisc.sh
diff --git a/helm/scripts/init.d/helm-bootmisc.sh b/helm/scripts/init.d/helm-bootmisc.sh
new file mode 100755 (executable)
index 0000000..d58c449
--- /dev/null
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+HTTP_GETTER_CACHE_DIRS=""
+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
+  mkdir -m 2755 $d
+  OWNER=`echo -n $OWNER | sed -e 's/:/./'`
+  chown $OWNER $d
+done
+