From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 9 Jul 2007 13:04:18 +0000 (+0000)
Subject: new configuration file sample
X-Git-Tag: 0.4.95@7852~361
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=25b60c359f88d29e7f0b916c95cafc1cab06dc5b;p=helm.git

new configuration file sample
---

diff --git a/daemons/whelp/searchEngine.conf.xml.sample b/daemons/whelp/searchEngine.conf.xml.sample
index 06e825e39..af11e5313 100644
--- a/daemons/whelp/searchEngine.conf.xml.sample
+++ b/daemons/whelp/searchEngine.conf.xml.sample
@@ -1,10 +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="nodb">false</key>
-    <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!