View Single Post

   
  #2 (permalink)  
Old 04-18-2008, 12:18 AM
Andrew Dunstan
 
Posts: n/a
Default Re: 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

Reply With Quote