[plt-dev] Re: Problems after all

The PLaneT server still seems to be down.

Thanks,
Dave

On May 30, 2010, at 1:43 PM, Eli Barzilay wrote:

> 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!
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev