Mercurial > urweb

comparison src/mysql.sml @ 1970:6bea98c7f736

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MySQL does case-sensitive catalog queries
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Feb 2014 14:34:48 -0500
parents ef9fdbb05c73
children 661b531f55bd
comparison
equal deleted inserted replaced
1969:f463c773ed6a 1970:6bea98c7f736
78 val sl = CharVector.map Char.toLower s 78 val sl = CharVector.map Char.toLower s
79 val sl = if size sl > 1 andalso String.sub (sl, 0) = #"\"" then 79 val sl = if size sl > 1 andalso String.sub (sl, 0) = #"\"" then
80 String.substring (sl, 1, size sl - 2) 80 String.substring (sl, 1, size sl - 2)
81 else 81 else
82 sl 82 sl
83 val both = "LOWER(table_name) = ('" ^ sl ^ "')" 83 val both = "table_name = '" ^ sl ^ "'"
84 84
85 val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE " ^ both 85 val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE " ^ both
86 86
87 val q' = String.concat ["SELECT COUNT(*) FROM information_schema.columns WHERE ", 87 val q' = String.concat ["SELECT COUNT(*) FROM information_schema.columns WHERE ",
88 both, 88 both,