[plt-scheme] planet.plt-scheme.org down
On Sat, Sep 26, 2009 at 9:26 AM, Marek Kubica <marek at xivilization.net> wrote:
> On Fri, 25 Sep 2009 09:53:25 -0500
> Robby Findler <robby at eecs.northwestern.edu> wrote:
>
>> The planet server is down, for an unknown amount of time. There are
>> problems with the air-conditioning in the room where it lives.
>
> I wonder whether it would be possible to set up some kind of mirroring
> system for PLaneT? I'd volunteer to host a copy.
Thanks for the offer, Marek. Planet does not yet have the capability
to be mirrored, I'm sorry to say. I do hope to figure out how to add
that to planet in a good way, and perhaps I'll take you up on that
offer when that happens (altho there are a number of separate sites at
core PLT people's places that I'll start with).
Thanks,
Robby