DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS" - Mailing list pgsql-hackers

From Peter Smith
Subject DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS"
Date
Msg-id CAHut+Pv72haFerrCdYdmF6hu6o2jKcGzkXehom+sP-JBBmOVDg@mail.gmail.com
Whole thread
Responses Re: DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS"
List pgsql-hackers
Hi.

I happened to notice that the "DROP PUBLICATION IF EXISTS" parameter
is documented [1]
------
IF EXISTS
Do not throw an error if the publication does not exist. A notice is
issued in this case.
------

But, the equivalent "DROP SUBSCRIPTION IF EXISTS" parameter
description is missing [2].

~~~

PSA a patch to add similar documentation for DROP SUBSCRIPTION IF EXISTS.

======
[1] https://www.postgresql.org/docs/devel/sql-droppublication.html
[2] https://www.postgresql.org/docs/devel/sql-dropsubscription.html

Kind Regards,
Peter Smith.
Fujitsu Australia

Attachment

pgsql-hackers by date:

Previous
From: Peter Eisentraut
Date:
Subject: Re: Make copyObject work in C++
Next
From: Ning Sun
Date:
Subject: Add ParameterDescription message to libpq frontend long message types