> On 11 May 2023, at 13:24, Yurii Rashkovskii <yra...@gmail.com> wrote: > > On Thu, May 11, 2023 at 10:36 AM Alvaro Herrera <alvhe...@alvh.no-ip.org > <mailto:alvhe...@alvh.no-ip.org>> wrote: > On 2023-May-11, Yurii Rashkovskii wrote: > > > ``` > > 127.0.0.1=5432 ::1=54321 > > ``` > > > > Basically, a space-delimited set of address/port pairs (delimited by `=` to > > allow IPv6 addresses to use a colon). > > This seems a bit too creative. I'd rather have the IPv6 address in > square brackets, which clues the parser immediately as to the address > family and use colons to separate the port number. If we do go with a > separate file, which to me sounds easier than cramming it into the PID > file, then one per line is likely better, if only because line-oriented > Unix text tooling has an easier time that way. > > Just a general caution here that using square brackets to denote IPv6 > addresses will make it (unnecessarily?) harder to process this with a shell > script.
This patch is Waiting on Author in the current commitfest with no new patch presented following the discussion here. Is there an update ready or should we close it in this CF in favour of a future one? -- Daniel Gustafsson
