On Mon, Dec 13, 2021 at 03:14:09PM +0100, Andreas Tille wrote:
> seems there is another case that public UDD mirror is out of sync.
It looks like networks errors are way too frequent recently...
> It would be great if this could be fixed (and prevented in future).
Hopefully at the very least reduced the probability to happen in the
future with
https://github.com/paulproteus/public-udd-mirror/commit/15df7d89fb6d447e0e4b57c3e3f24aa512414b64
(since the problem is that the lockfile would be released only the very
end, but it doesn't make sense to hold it if what failed was simply the
very first wget…)
Thanks for reporting!
--
regards,
Mattia Rizzolo
GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`.
More about me: https://mapreri.org : :' :
Launchpad user: https://launchpad.net/~mapreri `. `'`
Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
signature.asc
Description: PGP signature
