On Sat, Nov 10, 2012 at 6:41 PM, Christian Lohmaier <lohmaier+mageia@googlemail.com> wrote:

Hi *,

On Fri, Nov 9, 2012 at 7:50 AM, Jehan Pagès <jehan.marmottard@gmail.com> wrote:
>
> So I guess the repo is down, hopefully temporarily. I went to the "configure
> media sources" UI and "add a specific media mirror" (was using the
> $MIRRORLIST default until now).
>

> So my real question is: couldn't the $MIRRORLIST fallback to other servers
> than the "closer" instead of failing?

https://bugs.mageia.org/show_bug.cgi?id=3166

would solve all that....

Cool. :-)

Jehan

ciao
Christian