On May 30, Robby Findler wrote:
> I think Eli's message was meant to indicate that the planet server is
> known to be down and that he didn't move it across the river in the
> first place.
[Yes -- planet is on a different machine, which is physically big
enough that I couldn't just move it around
I think Eli's message was meant to indicate that the planet server is
known to be down and that he didn't move it across the river in the
first place.
Robby
On Sun, May 30, 2010 at 5:24 PM, David Herman wrote:
> The PLaneT server still seems to be down.
>
> Thanks,
> Dave
>
> On May 30, 2010, at
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 s
