helm/scripts/init.d/etc_default_helm

   1 # Configuration for helm daemons
   2
   3   # DAEMONS started/stopped/ecc. by /etc/init.d/helm, name listed here
   4   # must correspond to scripts located in /etc/init.d
   5 DAEMONS="
   6   helm-http-getter
   7   helm-proof-checker
   8   helm-uri-set-queue
   9   helm-draw-graph
  10 "
  11
  12   # script used to define a good(TM) environment for daemons
  13 ENVSCRIPT="/projects/helm/shared/scripts/phd.rc"
  14
  15   # script used to load/unload uwobo predefined scripts
  16 UWOBO_INIT_SCRIPT="/projects/helm/shared/scripts/init.d/loadPredefinedStylesheets.pl"
  17
  18   # http getter cache dirs that need to be created at boot time
  19 HTTP_GETTER_CACHE_DIRS="
  20   /projects/helm/shared/cache/library
  21   /projects/helm/shared/cache/library/http_getter
  22   /projects/helm/shared/cache/rdf_library
  23   /projects/helm/shared/cache/rdf_library/http_getter
  24 "
  25
  26   # user which will own the daemons and the cache directories
  27 OWNER="sacerdot:helm"
  28
  29 # vim: set ft=sh: