]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/searchEngine.ml
added begin list and end list comments to help moogle search engine plugin
[helm.git] / helm / searchEngine / searchEngine.ml
index 57c90f068272516aa6dc9889644500153194ea28..0bb29ec495dde61b29813f92b41cfe346051fc26 100644 (file)
@@ -37,6 +37,7 @@ exception Invalid_action of string  (* invalid action for "/search" method *)
 
 let daemon_name = "Moogle"
 let configuration_file = "/projects/helm/etc/moogle.conf.xml" 
+(*let configuration_file = "searchEngine.conf.xml" *)
 
 let placeholders = [
   "EXPRESSION"; "ACTION"; "ADVANCED"; "ADVANCED_CHECKED"; "SIMPLE_CHECKED";