X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fwhelp%2FsearchEngine.conf.xml.sample;h=06e825e3906b2bd8a3b946a17931d594511eca33;hb=936f80cf031a7b034dd70fef49abb90e69f2e680;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>