diff src/postgres.sml @ 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 0992323fa264
children 661b531f55bd
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 = '",