X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2FsearchEngine%2FsearchEngine.ml;h=e52d0aa35da4d3f15ed5275f0f0bdc77ff86a9d2;hb=0d750a87e8b3f26964fc5a05cf559d86c913d962;hp=9c479f13b5436b36fe9bdd000e6e4aa38a801f29;hpb=a0f2a7d4b328e5a621a5d62f474e5d552587d72f;p=helm.git

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