no more moogle... now whelp (config file name and daemon name)

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index d8af6b10e566bb8e3e2c46c9881e6adaf8edaac1..7c5c6e36e7ab916c7635dd941fa2c878c83b6a06 100644 (file)
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -36,8 +36,8 @@ exception Invalid_action of string  (* invalid action for "/search" method *)
   (** raised by elim when a MutInd is required but not found *)
 exception Not_a_MutInd
 
-let daemon_name = "Moogle"
-let configuration_file = "/projects/helm/etc/moogle.conf.xml"
+let daemon_name = "Whelp"
+let configuration_file = "/projects/helm/etc/whelp.conf.xml"
 
 let placeholders = [
   "ACTION"; "ADVANCED"; "ADVANCED_CHECKED"; "CHOICES"; "CURRENT_CHOICES";
@@ -323,7 +323,8 @@ let exec_action dbd (req: Http_types.request) outchan =
     let ast = CicTextualParser2.parse_term (Stream.of_string term_str) in
     let (id_to_uris, metasenv, term) =
       match
-        Disambiguate'.disambiguate_term dbd context metasenv ast id_to_uris
+        Disambiguate'.disambiguate_term ~dbd ~context ~metasenv
+          ~aliases:id_to_uris ast
       with
       | [id_to_uris,metasenv,term,_] -> id_to_uris,metasenv,term
       | _ -> assert false