helm/software/daemons/rdfly/rdfly.conf.xml.sample

   1 <helm_registry>
   2   <section name="user">
   3     <!-- User home directory. Here a ".matita" directory will be created
   4     and used to store the part of the library developed by the user. -->
   5     <key name="home">/tmp/</key>
   6     <!-- User name. It is used down in this configuration file.  If left
   7     unspecified, name of the user executing matita will be used (as per
   8     getent) -->
   9     <key name="name">web</key>
  10   </section>
  11   <section name="db">
  12     <key name="metadata">mysql://mowgli.cs.unibo.it public helm none library</key>
  13     <key name="metadata">mysql://mowgli.cs.unibo.it mowgli helm none legacy</key>
  14     <key name="metadata">file:///tmp/ dust.db helm none user</key>
  15   </section>
  16   <section name="rdfly">
  17     <key name="port">58086</key>
  18   </section>
  19 </helm_registry>