X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fwhelp%2FsearchEngine.ml;h=dd3c8f2c42ba3b4db31bd176c1c373af6c88544e;hb=146e4936a93992e7c5821605bffd3e1e47065f0d;hp=2924f6eb16fa4b2e9aa0a5391113d949485be4db;hpb=3c75c1095118fe64545552e75f68b86343720361;p=helm.git diff --git a/helm/software/daemons/whelp/searchEngine.ml b/helm/software/daemons/whelp/searchEngine.ml index 2924f6eb1..dd3c8f2c4 100644 --- a/helm/software/daemons/whelp/searchEngine.ml +++ b/helm/software/daemons/whelp/searchEngine.ml @@ -37,7 +37,7 @@ exception Invalid_action of string (* invalid action for "/search" method *) exception Not_a_MutInd let daemon_name = "Whelp" -let configuration_file = "/projects/helm/etc/whelp.conf.xml" +let configuration_file = "searchEngine.conf.xml" let placeholders = [ "ACTION"; "ADVANCED"; "ADVANCED_CHECKED"; "CHOICES"; "CURRENT_CHOICES";