# Configuration for helm daemons # DAEMONS started/stopped/ecc. by /etc/init.d/helm, name listed here # must correspond to scripts located in /etc/init.d DAEMONS=" helm-http-getter helm-proof-checker helm-uri-set-queue helm-draw-graph " # script used to define a good(TM) environment for daemons ENVSCRIPT="/projects/helm/shared/scripts/phd.rc" # user which will own the daemons OWNER="sacerdot:helm" # vim: set ft=sh: