[plt-dev] Re: Problems after all

From: Eli Barzilay (eli at barzilay.org)
Date: Sun May 30 16:43:44 EDT 2010

This problem is now resolved, so things should be back to "normal" --
everything should be working except for planet and pre.  Specifically,
you should be able to interact with the git server now.

On Sun, May 30, 2010 at 15:58, Eli Barzilay <eli at barzilay.org> wrote:
> There are problem after all, and possibly affecting machines outside of NEU too.
> (The cause of the problem is that our DNS server is down -- it should
> have stayed up on generator, but I was told that: "they pulled the
> wrong breaker", so the NEU machine room went down.)

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!

Posted on the dev mailing list.