X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=460ef41d088b5bd91481a152a3e32f4cbc2e6b1c;hb=ca7f3849e34817154c6cdac0754409bbbb5b7ba7;hp=11dbd1674a058ada15206614b505aee47dd8198f;hpb=836a20ea87e826b9428bee85543281235975c1ed;p=helm.git

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
    }