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   # user which will own the daemons
  16 OWNER="sacerdot:helm"
  17
  18 # vim: set ft=sh: