pacman 6.0 ignores the pacredir proxy after three 404 errors

[haraldkoch]

With pacman 6.0:

error: failed retrieving file 'core.db' from 127.0.0.1:7077 : The requested URL returned error: 404
error: failed retrieving file 'extra.db' from 127.0.0.1:7077 : The requested URL returned error: 404
error: failed retrieving file 'community.db' from 127.0.0.1:7077 : The requested URL returned error: 404
warning: too many errors from 127.0.0.1:7077, skipping for the remainder of this transaction

After this, pacman and friends ignore the pacredir mirror completely, and (re)download the packages from the internet.

This appears to be caused by a combination of two changes:

5be95f3a97df34b346f1cadf9bc71a4101549004 - do not redirect if database file is too old

And a change to pacman: https://bugs.archlinux.org/task/29293

Unfortunately, the pacman change is hardcoded to 3 attempts; they did not add a configuration option.

I'm not sure what to suggest to fix it, but pacredir is basically unusable with the pacman change in place...

Thanks!