[plt-dev] Post-powerdown status

From: Eli Barzilay (eli at barzilay.org)
Date: Sun Jul 5 01:56:37 EDT 2009

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

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.