database/postgres
1
0
Fork 0
mirror of https://github.com/postgres/postgres.git synced 2025-08-28 18:48:04 +03:00
Code Activity

DROP IF EXISTS for ROLE/USER/GROUP

Browse Source
This commit is contained in:
Andrew Dunstan
2006-02-04 19:06:47 +00:00
parent 3fa9c416ed
commit f8b54fe6ed
10 changed files with 116 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/src/sgml/ref/drop_user.sgml
View File

@@ -1,5 +1,5 @@
<!--
$PostgreSQL: pgsql/doc/src/sgml/ref/drop_user.sgml,v 1.21 2005/07/26 23:24:02 tgl Exp $
$PostgreSQL: pgsql/doc/src/sgml/ref/drop_user.sgml,v 1.22 2006/02/04 19:06:46 adunstan Exp $
PostgreSQL documentation
-->
@@ -20,7 +20,7 @@ PostgreSQL documentation
<refsynopsisdiv>
<synopsis>
DROP USER <replaceable class="PARAMETER">name</replaceable> [, ...]
DROP USER [ IF EXISTS ] <replaceable class="PARAMETER">name</replaceable> [, ...]
</synopsis>
</refsynopsisdiv>