diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-16 11:00:34 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-16 11:00:34 +0200 |
commit | 547f1d19e8dcb2b2a5b10fe03e21165fd0861f34 (patch) | |
tree | 34eec5ab303ec56102ba07d442a6d19cfa98925a /userContent/theme/title.png | |
parent | 9fb9feef3908b639c4dcf22809b1661f9b054f28 (diff) | |
download | jenkins.debian.net-547f1d19e8dcb2b2a5b10fe03e21165fd0861f34.tar.xz |
reproducible: if apt-get source fails to download sources, wait 5m, try once more and only fail+warn+notify if the 2nd download attempt also fails
Diffstat (limited to 'userContent/theme/title.png')
0 files changed, 0 insertions, 0 deletions