]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/etc_default_helm_mowgli
ENVSCRIPT and mathql_db_map.txt no longer in use.
[helm.git] / helm / scripts / init.d / etc_default_helm_mowgli
index 5e5c4dacd473d4182a69da5e7f28a6f71801c0df..5bb52b9c89508897f6b353b6fe4a3123bb3cf906 100644 (file)
@@ -11,9 +11,6 @@ DAEMONS="
   helm-uwobo_mowgli
 "
 
-  # script used to define a good(TM) environment for daemons
-ENVSCRIPT="/projects/helm/shared/scripts/phd_mowgli.rc"
-
   # script used to load/unload uwobo predefined scripts
 UWOBO_INIT_SCRIPT="/projects/helm/shared/scripts/init.d/loadPredefinedStylesheets.pl"