]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/metadata/metadataDb.ml
Incompatible syntax problem between MySql e Sqlite3 fixed.
[helm.git] / helm / software / components / metadata / metadataDb.ml
index 9480484c00d0f9e879d4f5747cf011f86400ed9b..7678cd0b3109abde2204a8daf823a84d1bfca98c 100644 (file)
@@ -184,7 +184,9 @@ let clean ~(dbd:HSql.dbd) =
       Pcre.replace ~pat:"([^\\\\])_" ~templ:"$1\\_" (HSql.escape s)
     in
     let query s = 
-      sprintf "DELETE FROM %s WHERE source LIKE \"%s%%\" ESCAPE \"\\\" " 
+      sprintf
+       ("DELETE FROM %s WHERE source LIKE \"%s%%\" " ^^
+        HSql.escape_string_for_like)
         (tbl ()) (escape s)
     in
     List.iter
@@ -201,7 +203,9 @@ let unindex ~dbd ~uri =
       Pcre.replace ~pat:"([^\\\\])_" ~templ:"$1\\_" (HSql.escape s)
     in
     let query tbl =
-      sprintf "DELETE FROM %s WHERE source LIKE \"%s%%\" ESCAPE \"\\\" " 
+      sprintf
+       ("DELETE FROM %s WHERE source LIKE \"%s%%\" " ^^
+        HSql.escape_string_for_like)
        (tbl ()) (escape uri)
     in
     ignore (HSql.exec dbd (query tbl))