HR.get_opt HR.get_int "mathql_interpreter.mysql_connection.port" in
let password =
HR.get_opt HR.get_string "mathql_interpreter.mysql_connection.password" in
HR.get_opt HR.get_int "mathql_interpreter.mysql_connection.port" in
let password =
HR.get_opt HR.get_string "mathql_interpreter.mysql_connection.password" in