From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 22 Apr 2004 09:36:54 +0000 (+0000)
Subject: added /help method (needed by respawner)
X-Git-Tag: dead_dir_walking~14
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9226222b139844ebae3bddd6aef489d60e41e27a

added /help method (needed by respawner)
---

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index bfff6fd67..1762e5fd9 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -273,6 +273,7 @@ let callback mqi_handle (req: Http_types.request) outchan =
   try
     debug_print (sprintf "Received request: %s" req#path);
     (match req#path with
+    | "/help" -> Http_daemon.respond ~body:"HELM Search Engine" outchan
     | "/execute" ->
         let query_string = req#param "query" in
         let lexbuf = Lexing.from_string query_string in