]> matita.cs.unibo.it Git - helm.git/commitdiff
new configuration file sample
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Jul 2007 13:04:18 +0000 (13:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Jul 2007 13:04:18 +0000 (13:04 +0000)
daemons/whelp/searchEngine.conf.xml.sample

index 06e825e3906b2bd8a3b946a17931d594511eca33..af11e53138c8c520799df3d9abc7f2af4c5fe7ae 100644 (file)
@@ -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!