]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/etc_default_helm
Initial revision
[helm.git] / helm / scripts / init.d / etc_default_helm
index d6e8413106d01534961dcb4650ea174baf5a5b05..4d06f941f0094de2e20e87e14f155d1353865270 100644 (file)
@@ -12,7 +12,18 @@ DAEMONS="
   # script used to define a good(TM) environment for daemons
 ENVSCRIPT="/projects/helm/shared/scripts/phd.rc"
 
-  # user which will own the daemons
+  # script used to load/unload uwobo predefined scripts
+UWOBO_INIT_SCRIPT="/projects/helm/shared/scripts/init.d/loadPredefinedStylesheets.pl"
+
+  # http getter cache dirs that need to be created at boot time
+HTTP_GETTER_CACHE_DIRS="
+  /projects/helm/shared/cache/library
+  /projects/helm/shared/cache/library/http_getter
+  /projects/helm/shared/cache/rdf_library
+  /projects/helm/shared/cache/rdf_library/http_getter
+"
+
+  # user which will own the daemons and the cache directories
 OWNER="sacerdot:helm"
 
 # vim: set ft=sh: