Matteo Beccati <php(at)beccati(dot)com> writes:
>> Seems like we could/should fix UNLISTEN * to not do anything if it is
>> known that the current backend never did any LISTENs.
> Here's my proposed patch, both for HEAD and 8.3:
I'll take a look.
regards, tom lane