+let connection_param = "host=mowgli.cs.unibo.it dbname=helm user=helm"
+
let show_queries = ref false
let use_db = ref true
let check_db () =
if ! db_down then
- if ! use_db then begin Mqint.init (); db_down := false; true end
+ if ! use_db then begin Mqint.init connection_param; db_down := false; true end
else begin print_endline "Not issuing in restricted mode"; false end
else true