X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fwhelp%2FsearchEngine.conf.xml.sample;h=af11e53138c8c520799df3d9abc7f2af4c5fe7ae;hb=ae1e6d714da0f555dfa9d7f1b0e9321278db12e5;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..af11e5313 100644
--- a/daemons/whelp/searchEngine.conf.xml.sample
+++ b/daemons/whelp/searchEngine.conf.xml.sample
@@ -1,9 +1,15 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
+  <section name="user">
+    <key name="home">$(HOME)</key>
+    <key name="name">$(USER)</key>
+  </section>
   <section name="db">
-    <key name="host">mowgli.cs.unibo.it</key>
-    <key name="user">helm</key>
-    <key name="database">mowgli</key>
+  <!-- this works, but a flag to make the DB stuff not complain if no
+       user or library DB is provided should be added -->
+    <key name="metadata">mysql://mowgli.cs.unibo.it mowgli helm none legacy</key>
+    <key name="metadata">file:///tmp/ dust.db helm none user</key>
+    <key name="metadata">file:///tmp/ dust1.db helm none library</key>
   </section>
   <section name="getter">
     <!-- CSC: it was like that before!