X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataDb.ml;h=7678cd0b3109abde2204a8daf823a84d1bfca98c;hb=0f3aa13cca7b39bf21b82738e1c183bc6c9e6ae3;hp=9480484c00d0f9e879d4f5747cf011f86400ed9b;hpb=66929b8edb58d468a134b648466f3e9c45ba5c0e;p=helm.git

diff --git a/helm/software/components/metadata/metadataDb.ml b/helm/software/components/metadata/metadataDb.ml
index 9480484c0..7678cd0b3 100644
--- a/helm/software/components/metadata/metadataDb.ml
+++ b/helm/software/components/metadata/metadataDb.ml
@@ -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))