]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/searchEngine.conf.xml.sample
New key postgresql_connection_string.
[helm.git] / helm / searchEngine / searchEngine.conf.xml.sample
index a9a4bd615a0a7a436d47cc8770169c37bfa61433..599f36e5efa12f3eb1dcd996f1192ff1913be83c 100644 (file)
@@ -2,6 +2,7 @@
 <helm_registry>
   <section name="mathql_interpreter">
    <key name="db_map">mathql_db_map.txt</key>
+   <key name="postgresql_connection_string">dbname=mowgli host=mowgli.cs.unibo.it user=helm password=awH21Un</key>
   </section>
   <section name="getter">
     <key name="mode">remote</key>