Fix the errhint message and docs for drop subscription failure.
authorAmit Kapila <akapila@postgresql.org>
Wed, 21 Jun 2023 05:06:09 +0000 (10:36 +0530)
committerAmit Kapila <akapila@postgresql.org>
Wed, 21 Jun 2023 05:06:09 +0000 (10:36 +0530)
commita734caa25f79b7bfa423dd97162e5ecf14d1feb5
tree3b654a943d2d9111f8f56ffbc224699366b7e310
parent5b1a8799431279b5f9d56c81b0d0879415e7b45c
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