From 19c358a092b3008f8a23b56e4b3c5844759d6868 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 17 Feb 2004 17:38:22 +0000 Subject: [PATCH] Reindentation. --- helm/searchEngine/searchEngine.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml index 625f43f5b..d79e6ebd4 100644 --- a/helm/searchEngine/searchEngine.ml +++ b/helm/searchEngine/searchEngine.ml @@ -281,15 +281,15 @@ let callback (req: Http_types.request) outchan = let mqi_handle = C.init mqi_flags debug_print in let id = req#param "id" in let query = G.locate id in - let result = MQueryInterpreter.execute mqi_handle query in + let result = MQueryInterpreter.execute mqi_handle query in C.close mqi_handle; Http_daemon.respond ~headers:[contype] ~body:(pp_result result) outchan | "/unreferred" -> let mqi_handle = C.init mqi_flags debug_print in let target = req#param "target" in let source = req#param "source" in - let query = G.unreferred target source in - let result = MQueryInterpreter.execute mqi_handle query in + let query = G.unreferred target source in + let result = MQueryInterpreter.execute mqi_handle query in C.close mqi_handle; Http_daemon.respond ~headers:[contype] ~body:(pp_result result) outchan | "/getpage" -> -- 2.39.2