Re: Public UDD mirror again not up to date

On Sat, Nov 20, 2021 at 01:26:37PM +, Holger Levsen wrote: > besides improving and fixing the core of the issues, would it help to > setup a regular (hourly?) monitoring job on jenkins? I don't think it's need for this case, but thank you for your offer! :) -- regards,

Re: Public UDD mirror again not up to date

On Tue, Nov 16, 2021 at 09:30:43PM +0100, Mattia Rizzolo wrote: > (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) besides improving and fixing the core of the issues, would it help to setup a regular (hourly?) mo

Re: Public UDD mirror again not up to date

Hi Mattia, Am Tue, Nov 16, 2021 at 09:30:43PM +0100 schrieb Mattia Rizzolo: > 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 a

Re: Public UDD mirror again not up to date

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 D

Re: Public UDD mirror again not up to date

Hi all, gentle ping on this? Regards, Nilesh On Mon, Nov 15, 2021 at 01:10:08PM +0100, Andreas Tille wrote: > Hi, > > it seems that the public UDD mirror has again issues to update its data: > > UDD: > > source | version | distribution | release | component | >

Public UDD mirror again not up to date

Hi, it seems that the public UDD mirror has again issues to update its data: UDD: source | version | distribution | release | component | watch_file | signing_key_pgp | signing_key_asc | debian_uversion | debian_mangled_uversio