From 2315446c09de10b9588e280da164e9301e46d241 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 17:23:58 +0000
Subject: [PATCH] mathql_db_map.txt now retrieved by Helm_registry.

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

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