diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-02-17 14:34:48 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-02-17 14:34:48 -0500 |
commit | c410ff27bef1eb39bc3a28f2f1d151ad2cb75b98 (patch) | |
tree | 6fae61a487467b09c09bef9033dabc1b7e76a35c | |
parent | 464b0578c6cde368195afb49ffe8c192515cbe33 (diff) |
MySQL does case-sensitive catalog queries
-rw-r--r-- | src/mysql.sml | 2 |
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 |