[plt-dev] Re: Problems after all

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun May 30 18:30:08 EDT 2010

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.


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

Posted on the dev mailing list.