From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 18 Feb 2004 13:17:52 +0000 (+0000)
Subject: now mathql interpreter use helm registry
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ca7f3849e34817154c6cdac0754409bbbb5b7ba7

now mathql interpreter use helm registry
---

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.ml b/helm/ocaml/mathql_interpreter/mQIConn.ml
index 11dbd1674..460ef41d0 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -79,14 +79,19 @@ let flags_of_string s =
    string_fold_left (fun l c -> l @ flag_of_char c) [] s
 
 let init myflags mylog =
-   let s, m, a =
+   let m, a =
       let g = 
          if List.mem Galax myflags 
 	    then MQIMap.empty_map else MQIMap.read_map
       in g ()
    in
    {log = mylog; set = myflags; 
-    pgc = if List.mem Galax myflags then None else MQIPostgres.init s;
+    pgc =
+     if List.mem Galax myflags then
+      None
+     else
+      MQIPostgres.init
+       (Helm_registry.get "mathql_interpreter.postgresql_connection_string");
     pgm = m; pga = a
    }