]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/searchEngine.ml
added /help method (needed by respawner)
[helm.git] / helm / searchEngine / searchEngine.ml
index bfff6fd67d5a1a477d9c0101bf805b0d67b3030e..1762e5fd9f161f4da5409a3526abbdcfd953da66 100644 (file)
@@ -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