X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fwhelp%2FsearchEngine.conf.xml.sample;h=06e825e3906b2bd8a3b946a17931d594511eca33;hb=8030b740ba0b84df1ae3a3e5878b447f3e4ec874;hp=6d646020f7fef7da2fdd1b57c069f1e33758a8c6;hpb=8feb1cda5703daa4371c556593bab63514423a58;p=helm.git

diff --git a/daemons/whelp/searchEngine.conf.xml.sample b/daemons/whelp/searchEngine.conf.xml.sample
index 6d646020f..06e825e39 100644
--- a/daemons/whelp/searchEngine.conf.xml.sample
+++ b/daemons/whelp/searchEngine.conf.xml.sample
@@ -1,6 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
   <section name="db">
+    <key name="nodb">false</key>
     <key name="host">mowgli.cs.unibo.it</key>
     <key name="user">helm</key>
     <key name="database">mowgli</key>