]> matita.cs.unibo.it Git - helm.git/commitdiff
now mathql interpreter use helm registry
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Feb 2004 13:17:52 +0000 (13:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Feb 2004 13:17:52 +0000 (13:17 +0000)
helm/ocaml/mathql_interpreter/mQIConn.ml

index 11dbd1674a058ada15206614b505aee47dd8198f..460ef41d088b5bd91481a152a3e32f4cbc2e6b1c 100644 (file)
@@ -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
    }