[racket-users] mirror.racket-lang.org seems down, and, 301 or 302?
I'm very sorry to notice and report this during a holiday weekend for many people. Staring early Saturday ET, I noticed some Travis CI builds failing while trying to install from mirror.racket-lang.org. For instance: $ curl -L http://download.racket-lang.org/installers/6.7/racket-6.7-x86_64-linux.sh % Total% Received % Xferd Average Speed TimeTime Time Current Dload Upload Total SpentLeft Speed 0 00 00 0 0 0 --:--:-- 0:01:14 --:--:-- 0 curl: (7) Failed to connect to mirror.racket-lang.org port 80: Operation timed out p.s. The Downloads web page "button" links are working fine (IIUC because they use Utah not mirror). However a `curl -L` on downloads.racket-lang.org does a 301 to mirror: $ curl -I -L http://download.racket-lang.org/installers/6.7/racket-6.7-x86_64-linux.sh HTTP/1.1 301 Moved Permanently Date: Mon, 26 Dec 2016 15:12:17 GMT Content-Length: 0 Connection: keep-alive Set-Cookie: __cfduid=dfcd4c7bc00179d5720235abc505ff6911482765137; expires=Tue, 26-Dec-17 15:12:17 GMT; path=/; domain=.racket-lang.org; HttpOnly x-amz-id-2: 54OfCD0NOOERAne4UNC4mB1WwMBoaA4mog+euj1dL8YSsyZDM8gwffo2gbApmd8AogR2jjTpsyQ= x-amz-request-id: A6B5EC56DCDEE640 Location: http://mirror.racket-lang.org/installers/6.7/racket-6.7-x86_64-linux.sh Server: cloudflare-nginx CF-RAY: 3175785aa0f30ec7-EWR p.p.s. That 301 is a Permanent redirect. Should I take that literally and update the Travis CI script to forget about downloads.racket-lang.org -- and instead start at mirror.racket-lang.org? (Or, was a 302 Temporary redirect intended and it's desirable to keep starting with downloads.racket-lang.org?) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] mirror.racket-lang.org seems down, and, 301 or 302?
Yes, things are down because of some routine maintenance that went awry. The redirect is because the maintenance was planned and I think the plan is to go back to the way things were when the machines come back. A little more info: https://groups.google.com/forum/#!topic/racket-users/3DtEvLTZxGo Sorry about this. Robby On Mon, Dec 26, 2016 at 9:23 AM, Greg Hendershott wrote: > I'm very sorry to notice and report this during a holiday weekend for > many people. > > Staring early Saturday ET, I noticed some Travis CI builds failing > while trying to install from mirror.racket-lang.org. For instance: > > $ curl -L > http://download.racket-lang.org/installers/6.7/racket-6.7-x86_64-linux.sh > % Total% Received % Xferd Average Speed TimeTime > Time Current >Dload Upload Total SpentLeft > Speed > 0 00 00 0 0 0 --:--:-- 0:01:14 --:--:-- > 0 > curl: (7) Failed to connect to mirror.racket-lang.org port 80: > Operation timed out > > > p.s. The Downloads web page "button" links are working fine (IIUC > because they use Utah not mirror). > > However a `curl -L` on downloads.racket-lang.org does a 301 to mirror: > > $ curl -I -L > http://download.racket-lang.org/installers/6.7/racket-6.7-x86_64-linux.sh > HTTP/1.1 301 Moved Permanently > Date: Mon, 26 Dec 2016 15:12:17 GMT > Content-Length: 0 > Connection: keep-alive > Set-Cookie: __cfduid=dfcd4c7bc00179d5720235abc505ff6911482765137; > expires=Tue, 26-Dec-17 15:12:17 GMT; path=/; domain=.racket-lang.org; > HttpOnly > x-amz-id-2: > 54OfCD0NOOERAne4UNC4mB1WwMBoaA4mog+euj1dL8YSsyZDM8gwffo2gbApmd8AogR2jjTpsyQ= > x-amz-request-id: A6B5EC56DCDEE640 > Location: > http://mirror.racket-lang.org/installers/6.7/racket-6.7-x86_64-linux.sh > Server: cloudflare-nginx > CF-RAY: 3175785aa0f30ec7-EWR > > > p.p.s. That 301 is a Permanent redirect. Should I take that literally > and update the Travis CI script to forget about > downloads.racket-lang.org -- and instead start at > mirror.racket-lang.org? (Or, was a 302 Temporary redirect intended and > it's desirable to keep starting with downloads.racket-lang.org?) > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] mirror.racket-lang.org seems down, and, 301 or 302?
Greg, maybe you could push a commit to travis-racket, changing the URL to the currently-working one, and revert that after the maintenance? That way the repos which fetch travis-racket on the fly would still build while mirror.racket-lang.org is down. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] mirror.racket-lang.org seems down, and, 301 or 302?
Sorry I didn't notice this until now. Given: - downloads.racket-lang.org is AFAIK the recommended download host to ask first - it's still working - it's already known to redirect to some other server - tools/users like racket-travis already know to expect and follow redirects It seems to me downloads.racket-lang.org can simply return a 302 Temporary Redirect to whatever download server happens to be working this week. And change it back next week. And next month. It all keeps working for all users. I think this is exactly the sort of situation 302s are intended for. (As I mentioned above I think the current 301 Permanent Redirect is mistaken. I believe it means, "Stop asking me about this resource -- forever.") On Tue, Dec 27, 2016 at 7:51 AM, Dupéron Georges wrote: > Greg, maybe you could push a commit to travis-racket, changing the URL to the > currently-working one, and revert that after the maintenance? > > That way the repos which fetch travis-racket on the fly would still build > while mirror.racket-lang.org is down. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] mirror.racket-lang.org seems down, and, 301 or 302?
I've adjusted the redirects to be 302s and to use the same mirror as the default download. At Fri, 30 Dec 2016 10:08:19 -0500, Greg Hendershott wrote: > Sorry I didn't notice this until now. > > Given: > - downloads.racket-lang.org is AFAIK the recommended download host to ask > first > - it's still working > - it's already known to redirect to some other server > - tools/users like racket-travis already know to expect and follow redirects > > It seems to me downloads.racket-lang.org can simply return a 302 > Temporary Redirect to whatever download server happens to be working > this week. And change it back next week. And next month. It all keeps > working for all users. I think this is exactly the sort of situation > 302s are intended for. > > > (As I mentioned above I think the current 301 Permanent Redirect is > mistaken. I believe it means, "Stop asking me about this resource -- > forever.") > > > On Tue, Dec 27, 2016 at 7:51 AM, Dupéron Georges > wrote: > > Greg, maybe you could push a commit to travis-racket, changing the URL to > the currently-working one, and revert that after the maintenance? > > > > That way the repos which fetch travis-racket on the fly would still build > while mirror.racket-lang.org is down. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
