<key name="per_user_work_directory">/home/sacerdot/helm/local_stuff</key>
<!-- The URL of the host of the Getter and UWOBO -->
<key name="per_user_work_directory">/home/sacerdot/helm/local_stuff</key>
<!-- The URL of the host of the Getter and UWOBO -->
<section name="mathql_interpreter">
<key name="db_map">mathql_db_map.txt</key>
<section name="mysql_connection">
<section name="mathql_interpreter">
<key name="db_map">mathql_db_map.txt</key>
<section name="mysql_connection">