From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 18:11:57 +0000 (+0000)
Subject: New key postgresql_connection_string.
X-Git-Tag: v0_0_4~162
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b0c7bc14d7d416729d23ec2e18613141c1264fac;p=helm.git

New key postgresql_connection_string.
---

diff --git a/helm/searchEngine/searchEngine.conf.xml.sample b/helm/searchEngine/searchEngine.conf.xml.sample
index a9a4bd615..599f36e5e 100644
--- a/helm/searchEngine/searchEngine.conf.xml.sample
+++ b/helm/searchEngine/searchEngine.conf.xml.sample
@@ -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>