# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1392665688 18000
# Node ID 6bea98c7f7365078c1185b6d196ab0551375aed5
# Parent  f463c773ed6a34bc0020242df5ff3b1b538c2284
MySQL does case-sensitive catalog queries

diff -r f463c773ed6a -r 6bea98c7f736 src/mysql.sml
--- 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