This may be a very silly question but how will users who haven't bookmarked any of the mirror sites learn the addresses of the mirrors if ros.org is down? Is it expected that everyone should bookmark them now just in case?

-- ben



On Fri, Nov 18, 2011 at 3:10 PM, Brian Gerkey <gerkey@willowgarage.com> wrote:
On Fri, Nov 18, 2011 at 11:50 AM, Benjamin Cohen <bencohen2@gmail.com> wrote:
> The ROS docs part of the penn mirror is now setup and the script is still
> downloading the docs api part of the wiki. It should be done in a couple of
> hours.
>
> Our mirror can be found at www.pennros.org.
>
> I updated the mirrors page (http://www.ros.org/wiki/Mirrors) accordingly.

Fantastic, thanks!

       brian.
_______________________________________________
ros-users mailing list
ros-users@code.ros.org
https://code.ros.org/mailman/listinfo/ros-users