Northeastern’s Systems group replaced the electric systems for the
past 24 hours. All servers went down, including Racket’s. Sadly the
re-boot for our machine did not launch the following services properly.
For developers: the old svn server is gone, too, as is plt-git. Neither
ought to block any critical work.
Due to the holidays, we don’t expect anything to happen until the
28th or 29th earliest.
Sorry for any inconvenience but due to the diligent work of
everyone else in PLT, this outage ought to be a minor one now.
With apologies. We will keep everyone posted — Matthias