<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Am 18.11.2011 21:15, schrieb Benjamin Cohen:
<blockquote
cite="mid:CALHJgcHb21e=n=GihrtQuGSiCMYFVz857NFot_cMRNin1WBczw@mail.gmail.com"
type="cite">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 <a moz-do-not-send="true" href="http://ros.org">ros.org</a>
is down? Is it expected that everyone should bookmark them now
just in case?<br>
</blockquote>
<br>
That would be the optimal case. Otherwise:
<a class="moz-txt-link-freetext" href="http://www.google.com/search?q=ros+mirror">http://www.google.com/search?q=ros+mirror</a> directly points to the
Freiburg mirror for me, I assume the others will appear soon once
they are indexed by the crawlers. Having some "landing page" which
mentions something like "ROS wiki mirror" probably helps.<br>
<br>
Best,<br>
Armin<br>
<br>
<br>
<br>
<pre class="moz-signature" cols="72">--
Armin Hornung
Humanoid Robots Lab, Albert-Ludwigs-Universität Freiburg
Contact: <a class="moz-txt-link-freetext" href="http://www.informatik.uni-freiburg.de/~hornunga">http://www.informatik.uni-freiburg.de/~hornunga</a> </pre>
</body>
</html>