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 | 1973011a14931c9946d9d7a04efc90087c7828ff (patch) | |
tree | 35c26e6d1cc778116b9ba7202a1f500abbc3deda /src | |
parent | 1d2f9948f488cd4bb55b2434478726a59a3acce9 (diff) |
Postgres: look up table names case-sensitively in catalog
Diffstat (limited to 'src')
-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 = '", |