This patch provides DROP ... IF EXISTS for user/group/role.

If there's no objection I will apply it soon and document it.

cheers

andrew


---------------------------(end of broadcast)---------------------------
TIP 4: Have you searched our list archives?

http://archives.postgresql.org