Give more accurate error message for dropping pinned portal
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 10 Jan 2018 14:22:07 +0000 (09:22 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 10 Jan 2018 14:22:07 +0000 (09:22 -0500)
commitacc67ffd0a8c728b928958e75b76ee544b64c2d8
treed5554ae7c2242d144ea780cc4f55dd500e857809
parentd16c2de6244f3b71c0c77a3d63905227fdc78428
Give more accurate error message for dropping pinned portal

The previous code gave the same error message for attempting to drop
pinned and active portals, but those are separate states, so give
separate error messages.
src/backend/utils/mmgr/portalmem.c