On Mon, Nov 15, 2021 at 01:10:08PM +0100, Andreas Tille wrote:
> it seems that the public UDD mirror has again issues to update its data:
Yes, this was caused by a network error that left a stale lockfile:
Log started at Fri Nov 12 22:05:01 UTC 2021
lock taken at /tmp/update_udd.udd-mirror.lock
Downloading udd.dump
wget: unable to resolve host address 'udd.debian.org'
I removed the lockfile, so it should update at the next cron run.
(I'll try to keep a mental note to improve this handling, though this
kind of error is empirically so rare that I'll likely forget)
--
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 `-
Attachment:
signature.asc
Description: PGP signature