3 * gestione della connessione al database
7 * le eccezzioni lanciate dalle funzioni init e pgc sono
8 * definite nel modulo Mathql
13 * paramentri della connessione
15 (*let connection_param = "host=127.0.0.1 dbname=helm";;*)
16 let connection_param = "host=dotto.cs.unibo.it dbname=helm user=helm";;
24 * controllo sulla connessione
28 None -> raise (MQInvalidConnection connection_param)
33 * inizializzazione della connessione
36 * passare i parametri della connessione come argomento di init
40 conn := Some (new Postgres.connection connection_param);
42 _ -> raise (MQConnectionFailed ("init: " ^ connection_param))
46 * chiusura della connessione