Re: [pgsql-www] doc-searching for v10 broken

Поиск
Список
Период
Сортировка
От Magnus Hagander
Тема Re: [pgsql-www] doc-searching for v10 broken
Дата
Msg-id CABUevEw_9VkTmHVLFYSNT-O0EQva01aaiQKSX6+1GnTV2k1HMQ@mail.gmail.com
обсуждение исходный текст
Ответ на Re: [pgsql-www] doc-searching for v10 broken  (Erik Rijkers <er@xs4all.nl>)
Ответы Re: [pgsql-www] doc-searching for v10 broken  (Tom Lane <tgl@sss.pgh.pa.us>)
Список pgsql-www


On Sun, May 28, 2017 at 8:09 AM, Erik Rijkers <er@xs4all.nl> wrote:
Oops I typoed a url, but the problem is real.

Again:


The search at

https://www.postgresql.org/docs/10/static/index.html

 does not find anything.

The produced url is:
  https://www.postgresql.org/search/?u=%2Fdocs%2F10%2F&q=select


which (apparently) should be:
  https://www.postgresql.org/search/?u=%2Fdocs%2F10.0%2F&q=select


i.e.,  s/10/10.0/



That is indeed broken. I've spotted the problem, will get a fix in as soon as I have fixed my testing environment.

//Magnus
 

В списке pgsql-www по дате отправления:

Предыдущее
От: Erik Rijkers
Дата:
Сообщение: Re: [pgsql-www] doc-searching for v10 broken
Следующее
От: Tom Lane
Дата:
Сообщение: Re: [pgsql-www] doc-searching for v10 broken