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
