X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FsearchEngine.ml;h=1762e5fd9f161f4da5409a3526abbdcfd953da66;hb=9226222b139844ebae3bddd6aef489d60e41e27a;hp=bfff6fd67d5a1a477d9c0101bf805b0d67b3030e;hpb=2041eed3f4385453291ae65c90e3011795a8b5bb;p=helm.git

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