Lists: | pgsql-www |
---|
From: | Bruce Momjian <bruce(at)momjian(dot)us> |
---|---|
To: | PostgreSQL www <pgsql-www(at)postgresql(dot)org> |
Subject: | Message-Id search |
Date: | 2017-06-20 18:05:53 |
Message-ID: | 20170620180553.GA26581@momjian.us |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Lists: | pgsql-www |
Our website provides a nice message-id search at:
However, I have noticed that if you paste in the message URL with
leading or trailing spaces, it doesn't recognize the message id. Can
the website be modified to trim off leading and trailing whitespace from
message ids? Thanks.
--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +
From: | Magnus Hagander <magnus(at)hagander(dot)net> |
---|---|
To: | Bruce Momjian <bruce(at)momjian(dot)us> |
Cc: | PostgreSQL www <pgsql-www(at)postgresql(dot)org> |
Subject: | Re: Message-Id search |
Date: | 2017-06-20 18:58:20 |
Message-ID: | CABUevEyezoMTmjMWS3R8UH-z0ifkNS9KeuzrzZbyJf7TozfWkw@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Lists: | pgsql-www |
On Tue, Jun 20, 2017 at 8:05 PM, Bruce Momjian <bruce(at)momjian(dot)us> wrote:
> Our website provides a nice message-id search at:
>
> /list/
>
> However, I have noticed that if you paste in the message URL with
> leading or trailing spaces, it doesn't recognize the message id. Can
> the website be modified to trim off leading and trailing whitespace from
> message ids? Thanks.
>
Yeah, that's easy enough. I've pushed an update that makes it strip leading
and trailing space.
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>
From: | Bruce Momjian <bruce(at)momjian(dot)us> |
---|---|
To: | Magnus Hagander <magnus(at)hagander(dot)net> |
Cc: | PostgreSQL www <pgsql-www(at)postgresql(dot)org> |
Subject: | Re: Message-Id search |
Date: | 2017-06-20 19:01:52 |
Message-ID: | 20170620190152.GC24979@momjian.us |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Lists: | pgsql-www |
On Tue, Jun 20, 2017 at 08:58:20PM +0200, Magnus Hagander wrote:
> On Tue, Jun 20, 2017 at 8:05 PM, Bruce Momjian <bruce(at)momjian(dot)us> wrote:
>
> Our website provides a nice message-id search at:
>
> /list/
>
> However, I have noticed that if you paste in the message URL with
> leading or trailing spaces, it doesn't recognize the message id. Can
> the website be modified to trim off leading and trailing whitespace from
> message ids? Thanks.
>
>
> Yeah, that's easy enough. I've pushed an update that makes it strip leading and
> trailing space.
Thanks, I often copy/paste message-ids from indented text files and this
helps.
--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +