X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fetc_default_helm_mowgli;h=08bf08766f39994c2640757865b3712efb19a8cc;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=af0ac44a57e82be8cac5480e06f7b0f75c982a21;hpb=d63f384d57565bce1efbcf50b1c0b50f76397c85;p=helm.git

diff --git a/helm/scripts/init.d/etc_default_helm_mowgli b/helm/scripts/init.d/etc_default_helm_mowgli
index af0ac44a5..08bf08766 100644
--- 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,6 @@ HTTP_GETTER_CACHE_DIRS="
   # user which will own the daemons and the cache directories
 OWNER="sacerdot:helm"
 
+NUPRL_UWOBO_PANEL_CONF="/projects/helm/NuPRL/uwobo-panel/control.html"
+
 # vim: set ft=sh: