Alvaro Herrera <alvhe...@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