diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-01-15 14:54:26 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-01-15 14:54:26 -0500 |
commit | 290e7ca0cea301e5f3f85981248459ba7c861959 (patch) | |
tree | 35c26e6d1cc778116b9ba7202a1f500abbc3deda | |
parent | e5e4492cb91ffb8d5d9af77fb9d1227ee9abe184 (diff) |
Postgres: look up table names case-sensitively in catalog
-rw-r--r-- | src/postgres.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/postgres.sml b/src/postgres.sml index 6ed7eeb0..b97226c1 100644 --- a/src/postgres.sml +++ b/src/postgres.sml @@ -68,7 +68,7 @@ fun checkRel (table, checkNullable) (s, xts) = else sl - val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE LOWER(table_name) = '" + val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE table_name = '" ^ sl ^ "'" val q' = String.concat ["SELECT COUNT(*) FROM information_schema.columns WHERE table_name = '", |