Thanks Magnus. :)
Btw, should I ping you directly if/when it happens again? I only knew
to ping Dave Page via Twitter, figuring he'd know who to er... page. :D
+ Justin
On 14 Apr 2016, at 15:22, Magnus Hagander <magnus@hagander.net> wrote:
> On Thu, Apr 14, 2016 at 4:20 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> See subject ... it responds to ping, but the http service not so much.
>
> Yeah, same issue as the one just reported for the main website. I just got things back up to running.
>
>
> --
> Magnus Hagander
> Me: http://www.hagander.net/
> Work: http://www.redpill-linpro.com/
--
"My grandfather once told me that there are two kinds of people: those
who work and those who take the credit. He told me to try to be in the
first group; there was less competition there."
- Indira Gandhi