Mercurial > urweb
changeset 1970:6bea98c7f736
MySQL does case-sensitive catalog queries
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 17 Feb 2014 14:34:48 -0500 |
parents | f463c773ed6a |
children | abb6981a2c4c |
files | src/mysql.sml |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/src/mysql.sml Sat Feb 15 10:06:18 2014 -0500 +++ b/src/mysql.sml Mon Feb 17 14:34:48 2014 -0500 @@ -80,7 +80,7 @@ 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