<?xml version="1.0" encoding="utf-8"?>
<helm_registry>
+ <section name="user">
+ <key name="home">$(HOME)</key>
+ <key name="name">$(USER)</key>
+ </section>
<section name="db">
- <key name="nodb">false</key>
- <key name="host">mowgli.cs.unibo.it</key>
- <key name="user">helm</key>
- <key name="database">mowgli</key>
+ <!-- this works, but a flag to make the DB stuff not complain if no
+ user or library DB is provided should be added -->
+ <key name="metadata">mysql://mowgli.cs.unibo.it mowgli helm none legacy</key>
+ <key name="metadata">file:///tmp/ dust.db helm none user</key>
+ <key name="metadata">file:///tmp/ dust1.db helm none library</key>
</section>
<section name="getter">
<!-- CSC: it was like that before!