Actually we don't measure ping but the time to open a socket. If that doesn't work then you won't be able to download from the mirrors in any case. Do you only have individual domains whitelisted for port 80?
On Tuesday, May 19, 2015 at 11:18:19 AM UTC+2, Emmanuel Charpentier wrote: > > > > Le lundi 18 mai 2015 15:22:46 UTC+2, Volker Braun a écrit : >> >> I guess your firewall blocks outgoing ICMP. >> > > It does. Alas... > > >> Imho that is a broken setup, >> > > I'm stuck with it. I have about as much clout in this joint as a lamb in a > slaughterhouse before Easter... > > but we should support it nevertheless. >> > >> On Monday, May 18, 2015 at 3:16:14 PM UTC+2, Emmanuel Charpentier wrote: >>> >>> I tried to use it behind a "corporate" firewall (I have to because the >>> normal "make" from an updated git tree won't work currently. See this >>> thread >>> <https://groups.google.com/forum/#!topic/sage-support/YFXcpa07evM> in >>> sage-support). >>> >> -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
