From b0c7bc14d7d416729d23ec2e18613141c1264fac Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 18:11:57 +0000
Subject: [PATCH] New key postgresql_connection_string.

---
 helm/searchEngine/searchEngine.conf.xml.sample | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.39.2