Alex Young b20fbc6a66 Don't retry a mirror which failed on the first attempt ...

If the mirror attempt failed and we were able to report an error to the
user, it makes no sense to attempt a retry.  We don't have a way to
abort a mirror attempt yet, so if the user got a setting wrong and it's
failing for that reason, the only recourse they'd have would be to
restart the server.

2012-07-15 20:07:17 +01:00

..

dest

Don't retry a mirror which failed on the first attempt

2012-07-15 20:07:17 +01:00

source

Retry failed rebind attempts

2012-07-12 14:14:46 +01:00