From d34100cdde334a8e93876d190b8a11aba4003a91 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 29 Apr 2005 12:22:52 +0000 Subject: [PATCH] no more moogle... now whelp (config file name and daemon name) --- helm/searchEngine/searchEngine.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml index d8af6b10e..7c5c6e36e 100644 --- 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 -- 2.39.2