From f8b54fe6ed7a2eae575d365091d136b4a4068316 Mon Sep 17 00:00:00 2001 From: Andrew Dunstan Date: Sat, 4 Feb 2006 19:06:47 +0000 Subject: DROP IF EXISTS for ROLE/USER/GROUP --- doc/src/sgml/ref/drop_group.sgml | 4 ++-- doc/src/sgml/ref/drop_role.sgml | 15 +++++++++++++-- doc/src/sgml/ref/drop_user.sgml | 4 ++-- 3 files changed, 17 insertions(+), 6 deletions(-) (limited to 'doc/src') diff --git a/doc/src/sgml/ref/drop_group.sgml b/doc/src/sgml/ref/drop_group.sgml index 1decf950d62..e19c0a1e47e 100644 --- a/doc/src/sgml/ref/drop_group.sgml +++ b/doc/src/sgml/ref/drop_group.sgml @@ -1,5 +1,5 @@ @@ -20,7 +20,7 @@ PostgreSQL documentation -DROP GROUP name [, ...] +DROP GROUP [ IF EXISTS ] name [, ...] diff --git a/doc/src/sgml/ref/drop_role.sgml b/doc/src/sgml/ref/drop_role.sgml index dc8a0896de1..d2364dabf48 100644 --- a/doc/src/sgml/ref/drop_role.sgml +++ b/doc/src/sgml/ref/drop_role.sgml @@ -1,5 +1,5 @@ @@ -20,7 +20,7 @@ PostgreSQL documentation -DROP ROLE name [, ...] +DROP ROLE [ IF EXISTS ] name [, ...] @@ -52,6 +52,17 @@ DROP ROLE name [, ...] Parameters + + + IF EXISTS + + + Do not throw an error if the role does not exist. A notice is issued + in this case. + + + + name diff --git a/doc/src/sgml/ref/drop_user.sgml b/doc/src/sgml/ref/drop_user.sgml index 419a7eda7c8..7ed3573455b 100644 --- a/doc/src/sgml/ref/drop_user.sgml +++ b/doc/src/sgml/ref/drop_user.sgml @@ -1,5 +1,5 @@ @@ -20,7 +20,7 @@ PostgreSQL documentation -DROP USER name [, ...] +DROP USER [ IF EXISTS ] name [, ...] -- cgit v1.2.3