Everything should be back to normal now, perhaps after some delay for
DNS propagation.
NEU has some issues during the powerdown (there was some problem with
the generator that was supposed to hold the core servers up), so there
might be some problems in the dept, but that shouldn't affect any of
the PLT services. Not too likely, but it *might* be a problem for the
nightly build, since the solaris build is done on one of these
machines.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
