- removed some unneeded dependencies from debian/control

[helm.git] / helm / scripts / init.d / etc_default_helm_mowgli

diff --git a/helm/scripts/init.d/etc_default_helm_mowgli b/helm/scripts/init.d/etc_default_helm_mowgli
index af0ac44a57e82be8cac5480e06f7b0f75c982a21..eeb0a801a4ee4bab3271e07540e583adda1904d5 100644 (file)
--- a/helm/scripts/init.d/etc_default_helm_mowgli
+++ b/helm/scripts/init.d/etc_default_helm_mowgli
@@ -7,6 +7,8 @@ DAEMONS="
   helm-proof-checker_mowgli
   helm-uri-set-queue_mowgli
   helm-draw-graph_mowgli
+  helm-search-engine_mowgli
+  helm-uwobo_mowgli
 "
 
   # script used to define a good(TM) environment for daemons
@@ -26,4 +28,8 @@ HTTP_GETTER_CACHE_DIRS="
   # user which will own the daemons and the cache directories
 OWNER="sacerdot:helm"
 
+NUPRL_UWOBO_PANEL_CONF="/projects/helm/nuprl/NuPRL/uwobo-panel/control.html"
+
+export MATHQL_DB_MAP=/projects/helm/shared/scripts/init.d/mathql_db_map.txt
+
 # vim: set ft=sh: