On 14 Apr 2016, at 15:20, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> See subject ... it responds to ping, but the http service not so much.
The mail server stopped receiving emails too, so not sure who/what/where
noticed the problem and fixed it.
It's working now though (as of a few minutes ago).
+ Justin
--
"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