]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/whelp/searchEngine.conf.xml.sample
few more bits for zack
[helm.git] / daemons / whelp / searchEngine.conf.xml.sample
index 6d646020f7fef7da2fdd1b57c069f1e33758a8c6..06e825e3906b2bd8a3b946a17931d594511eca33 100644 (file)
@@ -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>