From 66d6744962bd5a49dc87270eccadaad76b229133 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 22 Nov 2002 16:31:41 +0000 Subject: [PATCH] - use 'query_of_text' to parse textual queries - use 'helm_mowgli_new_schema' as database --- helm/searchEngine/searchEngine.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml index 38b92fd48..0accf62ab 100644 --- a/helm/searchEngine/searchEngine.ml +++ b/helm/searchEngine/searchEngine.ml @@ -57,7 +57,7 @@ let callback req outchan = | "/execute" -> let query_string = req#param "query" in let lexbuf = Lexing.from_string query_string in - let query = MQueryTParser.query MQueryTLexer.query_token lexbuf in + let query = MQueryUtil.query_of_text lexbuf in let result = MQueryGenerator.execute_query query in let result_string = MQueryUtil.text_of_result result "\n" in Http_daemon.respond @@ -102,7 +102,7 @@ printf "%s started and listening on port %d\n" daemon_name port; printf "current directory is %s\n" (Sys.getcwd ()); flush stdout; Mqint.set_database Mqint.postgres_db; -Mqint.init "host=mowgli.cs.unibo.it dbname=helm_mowgli user=helm"; +Mqint.init "host=mowgli.cs.unibo.it dbname=helm_mowgli_new_schema user=helm"; Http_daemon.start' ~port callback; Mqint.close (); printf "%s is terminating, bye!\n" daemon_name -- 2.39.2