Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> writes:
> On 2021-Feb-26, Paul Förster wrote:
>> if you remove the outer brackets of host spec, then that means that
>> only the port may be repeated. The repeat is always meant to refer to
>> its immediate preceding argument. The outer brackets make sure that it
>> refers to either of both host *and* port.
> I think an easier fix is to move the repeat to the main line, i.e., make
> it "hostspec[,...]" and then hostspec is only [host][:port].
WFM. Who's going to write the patch? (I can, but if one of you
wants to, be my guest.)
regards, tom lane