Scala-tools.org is now mirrored

Excellent news. I'll get my boss to rub "scala-tools.org" off his
whiteboard now. :)

2009/8/5 David Pollak :
> Folks,
> The scala-tools.org site is mirrored at two geographically disparate sites.
>  The mirror is updated hourly.  The systems are DNS round robined.  We will
> be implementing a mechanism for automatically removing a system from the
> round robin if it goes down, as well as adding a third system to the mix.
> This should improve the stability and uptime of scala-tools.org.
> Thanks to Derek and his employer for the mirror and thanks to all of you for using scala-tools.org.
> David
> --
> Lift, the simply functional web framework http://liftweb.net
> Beginning Scala http://www.apress.com/book/view/1430219890
> Follow me: http://twitter.com/dpp
> Git some: http://github.com/dpp
>

Thank you to everyone involved with scala-tools.org. I very much appreciate this service to the Scala community.

-Mark

On Wednesday 05 August 2009 09:05, David Pollak wrote:
> Folks,
> The scala-tools.org site is mirrored at two geographically disparate sites.
> The mirror is updated hourly. The systems are DNS round robined. We will
> be implementing a mechanism for automatically removing a system from the
> round robin if it goes down, as well as adding a third system to the mix.
>
> This should improve the stability and uptime of scala-tools.org.
>
> Thanks to Derek and his employer for the mirror and thanks to all of
> you for using
> scala-tools.org.
>
> David
>