From 9226222b139844ebae3bddd6aef489d60e41e27a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 22 Apr 2004 09:36:54 +0000 Subject: [PATCH] added /help method (needed by respawner) --- helm/searchEngine/searchEngine.ml | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.2