+<?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>