<?xml version="1.0" encoding="utf-8"?>
<helm_registry>
<section name="per_user_settings">
- <key name="dbm_dir">/projects/helm/shared/V7_mowgli</key>
+ <key name="dbm_dir">/projects/helm/var</key>
<key name="cache_dir">/tmp/helm/cache</key>
</section>
<key name="dtd_base_url">http://mowgli.cs.unibo.it/dtd</key>
- <key name="port">38081</key>
+ <key name="port">58081</key>
</section>
</helm_registry>