Hello, Today, most attempts to download plugins from updates.jenkins-ci.org timeout, only sometimes something gets thru. Here're are wget log examples:
$ time wget http://updates.jenkins-ci.org/download/plugins/ssh-credentials/1.6.1/ssh-credentials.hpi --2014-05-12 18:09:31-- http://updates.jenkins-ci.org/download/plugins/ssh-credentials/1.6.1/ssh-credentials.hpi Resolving updates.jenkins-ci.org (updates.jenkins-ci.org)... 199.193.196.24 Connecting to updates.jenkins-ci.org (updates.jenkins-ci.org)|199.193.196.24|:80... connected. HTTP request sent, awaiting response... 502 Bad Gateway 2014-05-12 18:10:05 ERROR 502: Bad Gateway. real 0m33.956s user 0m0.000s sys 0m0.004s $ time wget http://updates.jenkins-ci.org/download/plugins/ssh-credentials/1.6.1/ssh-credentials.hpi --2014-05-12 18:10:11-- http://updates.jenkins-ci.org/download/plugins/ssh-credentials/1.6.1/ssh-credentials.hpi Resolving updates.jenkins-ci.org (updates.jenkins-ci.org)... 199.193.196.24 Connecting to updates.jenkins-ci.org (updates.jenkins-ci.org)|199.193.196.24|:80... connected. HTTP request sent, awaiting response... 302 Found Location: http://mirrors.jenkins-ci.org/plugins/ssh-credentials/1.6.1/ssh-credentials.hpi [following] --2014-05-12 18:10:22-- http://mirrors.jenkins-ci.org/plugins/ssh-credentials/1.6.1/ssh-credentials.hpi Resolving mirrors.jenkins-ci.org (mirrors.jenkins-ci.org)... 199.193.196.24 Connecting to mirrors.jenkins-ci.org (mirrors.jenkins-ci.org)|199.193.196.24|:80... connected. HTTP request sent, awaiting response... 502 Bad Gateway 2014-05-12 18:10:59 ERROR 502: Bad Gateway. real 0m47.422s user 0m0.000s sys 0m0.004s -- Best Regards, Paul Linaro.org | Open source software for ARM SoCs Follow Linaro: http://www.facebook.com/pages/Linaro http://twitter.com/#!/linaroorg - http://www.linaro.org/linaro-blog -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
