]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/etc_default_helm
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / scripts / init.d / etc_default_helm
index 53696cdedbdf6a4b7a95f7b71498ac6c6d4b696c..4d06f941f0094de2e20e87e14f155d1353865270 100644 (file)
@@ -17,9 +17,10 @@ UWOBO_INIT_SCRIPT="/projects/helm/shared/scripts/init.d/loadPredefinedStylesheet
 
   # http getter cache dirs that need to be created at boot time
 HTTP_GETTER_CACHE_DIRS="
-  /ramfs/http_getter
-  /ramfs/http_getter/library
-  /ramfs/http_getter/rdf_library
+  /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