From 3f6f868f14eadef7f17d5e3008cffe19307ad492 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 10 Jan 2005 10:47:47 +0000
Subject: [PATCH] added begin list and end list comments to help moogle search
 engine plugin

---
 helm/searchEngine/mooglePp.ml     | 6 ++++--
 helm/searchEngine/searchEngine.ml | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/helm/searchEngine/mooglePp.ml b/helm/searchEngine/mooglePp.ml
index dd3b63ded..50809a459 100644
--- a/helm/searchEngine/mooglePp.ml
+++ b/helm/searchEngine/mooglePp.ml
@@ -35,7 +35,8 @@ let theory_of_result (req: Http_types.request) page result =
   let query_kind = pp_request req in
   let template query_kind summary results =
     sprintf
-      "<div class='resultsbar'>
+      "<!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
+       <div class='resultsbar'>
         <table width='100%%'>
          <tr>
           <td class='left'><b class='query_kind'>%s</b></td>
@@ -46,7 +47,8 @@ let theory_of_result (req: Http_types.request) page result =
        <br />
        <div>
        %s
-       </div>"
+       </div>
+       <!-- MOZILLA SEARCH PLUGIN: END LIST -->"
        query_kind summary results
   in
   if results_no > 0 then
diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 57c90f068..0bb29ec49 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -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";
-- 
2.39.2