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