From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 19 Jul 2006 17:30:32 +0000 (+0000)
Subject: use double quotes around escaped URIs, single quotes fail when the URI contains
X-Git-Tag: 0.4.95@7852~1176
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=27a8271639342c7b8ea1a349f3a87237c889ada7;p=helm.git

use double quotes around escaped URIs, single quotes fail when the URI contains
a '\'' character
---

diff --git a/components/metadata/sqlStatements.ml b/components/metadata/sqlStatements.ml
index 5469aebb8..86cffbd1b 100644
--- a/components/metadata/sqlStatements.ml
+++ b/components/metadata/sqlStatements.ml
@@ -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)