snapshot for camlp5 v5

[helm.git] / daemons / rdfly / rdfly.conf.xml.sample

diff --git a/daemons/rdfly/rdfly.conf.xml.sample b/daemons/rdfly/rdfly.conf.xml.sample
index d84e224262f739964b4334f261c19aab449e6e06..5d479dacfd34b4e85634a31c2504c1e395ef87f4 100644 (file)
--- a/daemons/rdfly/rdfly.conf.xml.sample
+++ b/daemons/rdfly/rdfly.conf.xml.sample
@@ -1,11 +1,12 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
-  <section name="db">
-    <key name="metadata">mysql://mowgli.cs.unibo.it public helm none library</key>
-    <key name="metadata">mysql://mowgli.cs.unibo.it mowgli helm none legacy</key>
-    <key name="metadata">file:///tmp/ dust.db helm none user</key>
-  </section>
   <section name="rdfly">
+    <section name="mysql_connection">
+      <key name="host">localhost</key>
+      <key name="user">helm</key>
+      <key name="database">mowgli</key>
+      <key name="port">3306</key>
+    </section>
     <key name="port">58086</key>
   </section>
 </helm_registry>