Bruce Momjian <bruce(at)momjian(dot)us> writes:
> Discussion seems to have ended on this thread without a clear direction.
I still think the right thing is to just use a non-default port number.
That gets 90% of the benefit for 10% of the work of any other approach
(except for the ones for which the ratio is even worse).
regards, tom lane