From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 16 Jun 2004 17:47:01 +0000 (+0000)
Subject: atmost/atleast/exactly constraints are now used only for the "hint" method.
X-Git-Tag: pre_subst_in_kernel~28
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5002153c1f53bffc0a200a88980ad99b1d756703;p=helm.git

atmost/atleast/exactly constraints are now used only for the "hint" method.
They are no longer used for "match" and "elim".
---

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 9c479f13b..e52d0aa35 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -45,7 +45,7 @@ let string_tail s =
 
   (* First of all we load the configuration *)
 let _ =
- let configuration_file = "searchEngine.conf.xml" in
+ let configuration_file = "/projects/helm/etc/searchEngine.conf.xml" in
   Helm_registry.load_from configuration_file
 ;;
 
@@ -474,7 +474,7 @@ let exec_action mqi_handle (req: Http_types.request) outchan =
   if
     (try ignore (req#param "constraints"); false
     with Http_types.Param_not_found _ -> true) &&
-    (req#param "advanced" = "no")
+    (req#param "advanced" = "no") && (req#path = "/hint")
   then
     let dbd =
       match mqi_handle.MQIConn.pgc with