Mercurial > urweb
diff src/cjr_print.sml @ 325:e457d8972ff1
Crud listing IDs
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Sep 2008 17:41:52 -0400 |
parents | b91480c9a729 |
children | 41458a694575 |
line wrap: on
line diff
--- a/src/cjr_print.sml Thu Sep 11 13:06:51 2008 -0400 +++ b/src/cjr_print.sml Thu Sep 11 17:41:52 2008 -0400 @@ -738,6 +738,7 @@ tables val outputs = exps @ tables + val outputs = ListMergeSort.sort (fn ((s1, _), (s2, _)) => String.compare (s1, s2) = GREATER) outputs val wontLeakStrings = notLeaky env true state val wontLeakAnything = notLeaky env false state @@ -1721,7 +1722,7 @@ val q'' = String.concat ["SELECT COUNT(*) FROM pg_attribute WHERE attrelid = (SELECT oid FROM pg_class WHERE relname = '", s, - "') AND attnum >= 0"] + "') AND attname LIKE 'uw_%'"] in box [string "res = PQexec(conn, \"", string q,