X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Frdfly%2Frdfly.conf.xml.sample;h=5d479dacfd34b4e85634a31c2504c1e395ef87f4;hb=2a4ee6db10333354003f6e3cd342298a82799ad4;hp=9e3efb3f2ae9f4d6e2eebc8df9de7ea0a4323e1a;hpb=2dc2c36139df472d2e3fcefc7b28d7f4e34d0c0c;p=helm.git

diff --git a/daemons/rdfly/rdfly.conf.xml.sample b/daemons/rdfly/rdfly.conf.xml.sample
index 9e3efb3f2..5d479dacf 100644
--- a/daemons/rdfly/rdfly.conf.xml.sample
+++ b/daemons/rdfly/rdfly.conf.xml.sample
@@ -1,19 +1,12 @@
+<?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
-  <section name="user">
-    <!-- User home directory. Here a ".matita" directory will be created
-    and used to store the part of the library developed by the user. -->
-    <key name="home">/tmp/</key>
-    <!-- User name. It is used down in this configuration file.  If left
-    unspecified, name of the user executing matita will be used (as per
-    getent) -->
-    <key name="name">web</key>
-  </section>
-  <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>