]> matita.cs.unibo.it Git - helm.git/commitdiff
atmost/atleast/exactly constraints are now used only for the "hint" method.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jun 2004 17:47:01 +0000 (17:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jun 2004 17:47:01 +0000 (17:47 +0000)
They are no longer used for "match" and "elim".

helm/searchEngine/searchEngine.ml

index 9c479f13b5436b36fe9bdd000e6e4aa38a801f29..e52d0aa35da4d3f15ed5275f0f0bdc77ff86a9d2 100644 (file)
@@ -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