public inbox for [email protected]  
help / color / mirror / Atom feed
From: Chao Li <[email protected]>
To: Peter Smith <[email protected]>
Cc: PostgreSQL Hackers <[email protected]>
Subject: Re: DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS"
Date: Wed, 1 Apr 2026 14:43:15 +0800
Message-ID: <[email protected]> (raw)
In-Reply-To: <CAHut+Pv72haFerrCdYdmF6hu6o2jKcGzkXehom+sP-JBBmOVDg@mail.gmail.com>
References: <CAHut+Pv72haFerrCdYdmF6hu6o2jKcGzkXehom+sP-JBBmOVDg@mail.gmail.com>



> On Apr 1, 2026, at 14:16, Peter Smith <[email protected]> wrote:
> 
> 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
> <v1-0001-DOCS-Add-missing-description-for-DROP-SUBSCRIPTIO.patch>

Looks good. The patch uses the same phrase for “if exists” as the doc of “drop publication”. And I verified that a notice is issued:

```
evantest=# drop publication if exists aaa;
NOTICE:  publication "aaa" does not exist, skipping
DROP PUBLICATION
evantest=# drop subscription if exists aaa;
NOTICE:  subscription "aaa" does not exist, skipping
DROP SUBSCRIPTION
```

Best regards,
--
Chao Li (Evan)
HighGo Software Co., Ltd.
https://www.highgo.com/









view thread (5+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected], [email protected]
  Subject: Re: DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS"
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox