projects / mirror / dsa-puppet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2e0d90) | patch
Ignore unhealthy hosts for deciding which mirrors are the newest
authorTollef Fog Heen <tfheen@err.no>
Wed, 13 Dec 2017 19:46:36 +0000 (20:46 +0100)
committerTollef Fog Heen <tfheen@err.no>
Wed, 13 Dec 2017 19:46:36 +0000 (20:46 +0100)
commitfe910feb549fda02fe25bc7c90d185d14c589ffd
treecbf8991fafc6e80b8bee9ae258be658e3eaf0885tree | snapshot
parente2e0d9005a132769cff685844de0c063902037bacommit | diff
Ignore unhealthy hosts for deciding which mirrors are the newest

This prevents the case we saw in #877966 where bad timing of a mirror
push led to an outage.  The disadvantage is that time might be moving
backwards instead, but giving out older packages (or dists/) is better
than giving out no files at all.
modules/roles/files/mirror_health/mirror-health diff | blob | history
modules/roles/manifests/debian_mirror.pp diff | blob | history
modules/roles/manifests/mirror_health.pp diff | blob | history
modules/roles/templates/mirror-health.service.erb diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.