changeset 1958:4ef0c6605b3a

Postgres: look up table names case-sensitively in catalog
author Adam Chlipala <adam@chlipala.net>
date Wed, 15 Jan 2014 14:54:26 -0500
parents ef9fdbb05c73
children 3cc14f1e47d1
files src/postgres.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/postgres.sml	Tue Jan 14 19:22:53 2014 -0500
+++ b/src/postgres.sml	Wed Jan 15 14:54:26 2014 -0500
@@ -68,7 +68,7 @@
                  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 = '",