]> matita.cs.unibo.it Git - helm.git/commitdiff
mathql_db_map.txt now retrieved by Helm_registry.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:23:58 +0000 (17:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:23:58 +0000 (17:23 +0000)
helm/searchEngine/searchEngine.conf.xml.sample

index 0bfbbcf7dad66a12076dd2ea3887c0386a41547e..a9a4bd615a0a7a436d47cc8770169c37bfa61433 100644 (file)
@@ -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>