-(*
- * gestione della connessione al database
- *)
-
-(*
- * le eccezioni lanciate dalle funzioni init e pgc sono
- * definite nel modulo Mathql
- *)
-open MathQL;;
-
-(*
- * paramentri della connessione
- *
- * TODO: bisogna scegliere se questi parametri vengono
- * passati come argomento
- *)
-let connection_param = "dbname=helm";;
-(*let connection_param = "host=dotto.cs.unibo.it dbname=helm user=helm";;*)
-
-(*
- * connessione al db
- *)
-let conn = ref None;;