From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 22 Nov 2002 16:31:41 +0000 (+0000)
Subject: - use 'query_of_text' to parse textual queries
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=66d6744962bd5a49dc87270eccadaad76b229133;p=helm.git

- use 'query_of_text' to parse textual queries
- use 'helm_mowgli_new_schema' as database
---

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