aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/mysql.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-02-17 14:34:48 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-02-17 14:34:48 -0500
commit6337358bed21a199da8663fe198457c799e11467 (patch)
tree6fae61a487467b09c09bef9033dabc1b7e76a35c /src/mysql.sml
parent4276a0d3732f71ff4fcc1d2dbba8aa87f11a096c (diff)
MySQL does case-sensitive catalog queries
Diffstat (limited to 'src/mysql.sml')
-rw-r--r--src/mysql.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mysql.sml b/src/mysql.sml
index e34efbd4..29a8c68f 100644
--- a/src/mysql.sml
+++ b/src/mysql.sml
@@ -80,7 +80,7 @@ fun checkRel (table, checkNullable) (s, xts) =
String.substring (sl, 1, size sl - 2)
else
sl
- val both = "LOWER(table_name) = ('" ^ sl ^ "')"
+ val both = "table_name = '" ^ sl ^ "'"
val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE " ^ both