Re: PostgreSQL URI

On 2021-Feb-26, Paul Förster wrote:

> Hi Tom,
>
> > On 26. Feb, 2021, at 15:51, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> >
> > +1. I think you could lose the outer brackets in hostspec in
> > this formulation, ie given that hostspec is already bracketed
> > above, it should be enough to write
> >
> > hostspec is [host][:port][,...]
>
> 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].

> > Also, the paramspec is under-bracketed today. Should be
> > more like
> >
> > paramspec is param=value[&...]

True.

--
Álvaro Herrera Valdivia, Chile
"Estoy de acuerdo contigo en que la verdad absoluta no existe...
El problema es que la mentira sí existe y tu estás mintiendo" (G. Lama)