[plt-dev] Re: Problems after all

I think Eli's message was meant to indicate that the planet server is
known to be down and that he didn't move it across the river in the
first place.

Robby

On Sun, May 30, 2010 at 5:24 PM, David Herman <dherman at ccs.neu.edu> wrote:
> 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
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>