From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 19 Jul 2007 10:01:13 +0000 (+0000)
Subject: fixed an escaping error, added more infos to the generic error, callback catches... 
X-Git-Tag: 0.4.95@7852~308
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f79567e3b0abcb508c94b66d69d967c4df83082a;p=helm.git

fixed an escaping error, added more infos to the generic error, callback catches and prints exceptions
---

diff --git a/components/hmysql/hSqlite3.ml b/components/hmysql/hSqlite3.ml
index 3693e445b..d5c5f0fcc 100644
--- a/components/hmysql/hSqlite3.ml
+++ b/components/hmysql/hSqlite3.ml
@@ -43,7 +43,7 @@ type error_code =
 
 exception Error of string
 
-let prerr_endline s = ()(*HLog.debug s;;*)
+let prerr_endline s = () (*HLog.debug s*);;
 
 let profiler = HExtlib.profile "Sqlite3"
 
@@ -77,6 +77,7 @@ let quick_connect
   (* attach the REGEX function *)
   Sqlite3.create_fun2 db "REGEXP"
       (fun s rex -> 
+        try
          match rex, s with
          | Sqlite3.Data.TEXT rex, Sqlite3.Data.BLOB s
          | Sqlite3.Data.TEXT rex, Sqlite3.Data.TEXT s ->
@@ -85,7 +86,8 @@ let quick_connect
                Sqlite3.Data.INT 1L 
              else 
                Sqlite3.Data.INT 0L
-         | _ -> raise (Error "wrong types to 'REGEXP'"));
+         | _ -> raise (Error "wrong types to 'REGEXP'")
+        with exn -> HLog.error (Printexc.to_string exn); raise exn);
   Some db
 ;;
 
@@ -98,7 +100,13 @@ let disconnect db =
 ;;
 
 (* XXX hack, sqlite has a print "%q" that should be used, but is not bound *)
-let escape s = Pcre.replace ~pat:"([^'])'([^'])" ~templ:"$1''$2" s
+let escape s = 
+  let s_escaped = Pcre.replace ~pat:"'" ~templ:"''" s in
+  (*let s_escaped = Pcre.replace ~pat:"([^'])'([^'])" ~templ:"$1''$2" s in*)
+  prerr_endline s;
+  prerr_endline s_escaped;
+  s_escaped
+;;
 
 let string_of_rc = function
   |Sqlite3.Rc.OK -> "Sqlite3.Rc.OK" 
@@ -150,7 +158,7 @@ let exec s db =
       in
       match rc with
       | Sqlite3.Rc.OK -> !stored_result
-      | _ -> raise (Error (string_of_rc rc))
+      | _ -> raise (Error (string_of_rc rc ^ ": " ^ Sqlite3.errmsg db ))
 ;;
 
 let rec map res ~f =