Mercurial > urweb
comparison src/mysql.sml @ 1970:6bea98c7f736
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, |