| No_such_index
| Bad_table_error
| GENERIC_ERROR of string
-exception Error
+exception Error of string
let profiler = HExtlib.profile "mysql"
-let use_real_db () =
- not (Helm_registry.get_opt_default Helm_registry.bool
- ~default:false "db.nodb")
-
let quick_connect ?host ?database ?port ?password ?user () =
profiler.HExtlib.profile
- (fun () ->
- if use_real_db () then
- (Some (Mysql.quick_connect ?host ?database ?port ?password ?user ()))
- else
- None)
+ (fun () ->
+ Some (Mysql.quick_connect ?host ?database ?port ?password ?user ()))
()
+;;
let disconnect = function
| None -> ()
let escape s =
profiler.HExtlib.profile Mysql.escape s
-let exec dbd s =
+let exec s dbd =
match dbd with
| None -> None
| Some dbd ->
try
Some (profiler.HExtlib.profile (Mysql.exec dbd) s)
- with Mysql.Error _ -> raise Error
+ with Mysql.Error s -> raise (Error s)
let map res ~f =
match res with
| Mysql.No_such_table -> No_such_table
| Mysql.Table_exists_error -> Table_exists_error
| Mysql.Dup_keyname -> Dup_keyname
- | Mysql.No_such_table -> No_such_table
| Mysql.No_such_index -> No_such_index
| Mysql.Bad_table_error -> Bad_table_error
| _ -> GENERIC_ERROR "Mysql_generic_error"
let isMysql = true
+let escape_string_for_like = ("ESCAPE \"\\\\\"" : ('a,'b,'c,'a) format4);;