the db connection parameters are now parametrized istead of hard-coded

[helm.git] / helm / ocaml / mathql_interpreter / relation.ml

diff --git a/helm/ocaml/mathql_interpreter/relation.ml b/helm/ocaml/mathql_interpreter/relation.ml
index 2fbb24bf80f421b4ba1bf8f83f635816da2efef4..4776e694c76f3a7610cdbdbb329818df76dbf680 100644 (file)
--- a/helm/ocaml/mathql_interpreter/relation.ml
+++ b/helm/ocaml/mathql_interpreter/relation.ml
@@ -50,7 +50,7 @@ let vvar = if attl = [] then "position"
 in        
 (*let (uril,atts) = List.split rset in*)
 let _ = print_string ("RELATION "^usek)
-and t = Unix.time () in
+and t = Sys.time () in
 let result =
  let c = pgc () in
 
@@ -79,7 +79,7 @@ in
 
 in
 print_string (" = " ^ string_of_int (List.length result) ^ ": ") ; 
-print_endline (string_of_float (Unix.time () -. t) ^ "s") ;
+print_endline (string_of_float (Sys.time () -. t) ^ "s") ;
 flush stdout ;
    result
 ;;