This commit was manufactured by cvs2svn to create tag

[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.mli

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index 26cb291f9aae70ea3fe62a2e3623c3f1b6fa9082..7eff1b4b45fef8a558cd6e8e941d73a6d1f8af53 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -23,13 +23,11 @@
  * http://cs.unibo.it/helm/.
  *)
 
-type flag = Postgres | Galax | Stat | Quiet | Warn
+type flag = Postgres | Galax | Stat | Quiet | Warn | Log 
 
 val string_of_flags : flag list -> string
 val flags_of_string : string -> flag list
 
-exception InvalidConnection
-
 type handle
 
 val init      : flag list -> (string -> unit) -> handle
@@ -42,6 +40,7 @@ val init_if_connected : flag list -> (string -> unit) -> handle
  * For exclusive use of the interpreter.  
  *)
 
-val log       : handle -> string -> unit
-val set       : handle -> flag -> bool   
-val pgc       : handle -> Postgres.connection
+val log   : handle -> string -> unit
+val set   : handle -> flag -> bool   
+val pgc   : handle -> Postgres.connection option
+val flags : handle -> flag list