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