]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Oct 2009 15:05:15 +0000 (15:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Oct 2009 15:05:15 +0000 (15:05 +0000)
helm/software/components/hmysql/hSql.ml

index 583e082a1c2dd1619c8103e0bdacad9778f73015..ad2b5599373cea57a2839ab806f3c2f9b54ea5a0 100644 (file)
@@ -98,8 +98,7 @@ let exec (dbtype : dbtype) (dbd : dbd) (query : string) =
     debug_print (lazy ("EXEC: " ^ pp_dbtype dbtype ^ "|" ^ query));
     let dbd = List.assoc dbtype dbd in
     wrap (mk (HSqlite3.exec query) (HMysql.exec query)) dbd
-  with Not_found -> 
-    if dbtype = Legacy then Nothing else raise (Error "No ro or writable db")
+  with Not_found -> Nothing
 ;;
 
 let map result ~f = 
@@ -153,8 +152,7 @@ let escape dbtype dbd s =
       match List.assoc dbtype dbd with
       | Mysql _ | FakeMySql -> wrap HMysql.escape s
       | Sqlite _ -> wrap HSqlite3.escape s
-  with Not_found -> 
-    if dbtype = Legacy then s else raise (Error "No ro or writable db")
+  with Not_found -> s
 ;;
 
 let escape_string_for_like dbtype dbd = 
@@ -163,8 +161,7 @@ let escape_string_for_like dbtype dbd =
       | Mysql _ | FakeMySql -> HMysql.escape_string_for_like
       | Sqlite _ -> HSqlite3.escape_string_for_like
   with Not_found -> 
-    if dbtype = Legacy then ("ESCAPE \"\\\"" : ('a,'b,'c,'a) format4) 
-    else raise (Error "No ro or writable db")
+    ("ESCAPE \"\\\"" : ('a,'b,'c,'a) format4) 
 ;;
 
 let isMysql dbtype dbd =