X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fetc_default_helm_mowgli;h=daa04d1b8c2f3ea5e747e2062304a1af2994c6e9;hb=34e75ac7ef031c8cfdd0fb184a5e8db027f1ae6a;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..daa04d1b8 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