]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/extractor/extractor.conf.xml
maxipatch for support of multiple DBs.
[helm.git] / components / binaries / extractor / extractor.conf.xml
index 8dbc9a935611a97009b299aa59aa791524a9af1a..d82b16028e3e6e0ccbd66fc3493ed8f496de4b3c 100644 (file)
@@ -4,9 +4,8 @@
     <key name="dir">.tmp/</key>
   </section>   
   <section name="db">
-    <key name="host">localhost</key>
-    <key name="user">helm</key>
-    <key name="database">mowgli</key>
+    <key name="metadata">mysql://mowgli.cs.unibo.it mowgli helm helm library</key>
+    <key name="metadata">file:///tmp/ user.db helm helm user</key>
   </section>
   <section name="getter">
     <key name="servers">