summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-12-08 17:29:24 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-12-08 17:29:24 -0500
commit49da529aff71b377ec8a9ebc98b0a94f81ee18e5 (patch)
treea3b3fae12a80df87219d783fafc444e2090c33c8
parent636cadeb754871d6574cfa53660c0ea487fe7fd5 (diff)
Change Postgres schema-checking code to account properly for namespaces
-rw-r--r--src/postgres.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/postgres.sml b/src/postgres.sml
index bc1238c0..1c95f414 100644
--- a/src/postgres.sml
+++ b/src/postgres.sml
@@ -278,7 +278,7 @@ fun init {dbstring, prepared = ss, tables, views, sequences} =
val sl = CharVector.map Char.toLower s
val q = "SELECT COUNT(*) FROM pg_class WHERE relname = '"
- ^ sl ^ "' AND relkind = 'S'"
+ ^ sl ^ "' AND relkind = 'S' AND pg_catalog.pg_table_is_visible(oid)"
in
box [string "res = PQexec(conn, \"",
string q,