Alvaro Herrera <alvherre@alvh.no-ip.org> writes:
> This made me wonder if storing the unadorned port number is really the
> best way. Suppose we did extend things so that we listen on different
> ports on different interfaces; how would this scheme work at all?
Yeah, the probability that that will happen someday is one of the
things bothering me about this proposal. I'd rather change the
file format to support that first (it can be dummy for now, with
all lines showing the same port), and then document it second.
regards, tom lane