Fix the errhint message and docs for drop subscription failure.
authorAmit Kapila <akapila@postgresql.org>
Wed, 21 Jun 2023 04:37:47 +0000 (10:07 +0530)
committerAmit Kapila <akapila@postgresql.org>
Wed, 21 Jun 2023 04:52:07 +0000 (10:22 +0530)
commit4b4ee1e2b073ffe719e7ad1bb1c22253fb1096e2
treee03ced65760460e215eb6c8b96a8d8e2e87769e4
parent2f97105e93c286a1377ddc0e2c9c7a5af4a2eee3
Fix the errhint message and docs for drop subscription failure.

The existing errhint message and docs were missing the fact that we can't
disassociate from the slot unless the subscription is disabled.

Author: Robert Sjöblom, Peter Smith
Reviewed-by: Peter Eisentraut, Amit Kapila
Backpatch-through: 11
Discussion: https://postgr.es/m/807bdf85-61ea-88e2-5712-6d9fcd4eabff@fortnox.se
doc/src/sgml/ref/drop_subscription.sgml
src/backend/commands/subscriptioncmds.c