From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 17:23:58 +0000 (+0000)
Subject: mathql_db_map.txt now retrieved by Helm_registry.
X-Git-Tag: v0_0_4~170
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2315446c09de10b9588e280da164e9301e46d241;p=helm.git

mathql_db_map.txt now retrieved by Helm_registry.
---

diff --git a/helm/searchEngine/searchEngine.conf.xml.sample b/helm/searchEngine/searchEngine.conf.xml.sample
index 0bfbbcf7d..a9a4bd615 100644
--- a/helm/searchEngine/searchEngine.conf.xml.sample
+++ b/helm/searchEngine/searchEngine.conf.xml.sample
@@ -1,5 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
+  <section name="mathql_interpreter">
+   <key name="db_map">mathql_db_map.txt</key>
+  </section>
   <section name="getter">
     <key name="mode">remote</key>
     <key name="url">http://localhost:58081/</key>