Re: [PATCHES] drop user/group/role if exists

I wrote: This patch provides DROP ... IF EXISTS for user/group/role. If there's no objection I will apply it soon and document it. There wasn't so I did. cheers andrew ---(end of broadcast)--- TIP 2: Don't 'kill -9' the postmaster

[PATCHES] drop user/group/role if exists

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 Index: src/backend/commands/user.c === RCS file: /cvsroot/pgsql/src/backend/commands/user.c,v