]> matita.cs.unibo.it Git - helm.git/commitdiff
use double quotes around escaped URIs, single quotes fail when the URI contains
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 17:30:32 +0000 (17:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 17:30:32 +0000 (17:30 +0000)
a '\'' character

components/metadata/sqlStatements.ml

index 5469aebb8ab1387bc5f1a672bcc793f682864db8..86cffbd1be7f610476aa935c3948f999cfadc43d 100644 (file)
@@ -205,10 +205,10 @@ let move_content (name1, tbl1) (name2, tbl2) buri =
     name2 name1 (HMysql.escape buri)
 
 let direct_deps refObj uri =
-  sprintf "SELECT * FROM %s WHERE source = '%s';"
+  sprintf "SELECT * FROM %s WHERE source = \"%s\";"
     (HMysql.escape refObj) (UriManager.string_of_uri uri)
 
 let inverse_deps refObj uri =
-  sprintf "SELECT * FROM %s WHERE h_occurrence = '%s';"
+  sprintf "SELECT * FROM %s WHERE h_occurrence = \"%s\";"
     (HMysql.escape refObj) (UriManager.string_of_uri uri)