Re: [racket-users] http connection errors on pkg-build

2015-08-01 Thread mb
I don't know if that's a separate error. I've assumed that it's a side effect 
of the build failing (= no docs end up where they're expected to be)


On Saturday, August 1, 2015 at 9:02:43 AM UTC-7, Andrew Gwozdziewycz wrote:
 Possibly related? http://pkg-build.racket-lang.org/doc/pollen fails with a 
 403 forbidden. Maybe some s3 permissions changed?
 
 
 On August 1, 2015 8:54:11 AM PDT, Matthew Butterick m...@mbtype.com wrote:
 For the last couple of days my pollen builds have failed with this 
 connection failed error. I don't see any other packages failing to download 
 from GitHub, suggesting it's my fault. OTOH the supposedly defective URL 
 works fine, so I'm not sure how to make the build server happier.
 
 
 Downloading 
 https://github.com/mbutterick/pollen/tarball/c62bdbbe7233c5190628731725ba9169bc2cb067
 tcp-connect: connection failed
   detail: host not found
   address: github.com
   port number: 443
   step: 1
   system error: Name or service not known; errno=-2
 
 
 
 
 
 
 
 -- 
 
 Sent from space.

-- 
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.


[racket-users] http connection errors on pkg-build

2015-08-01 Thread Matthew Butterick
For the last couple of days my pollen builds have failed with this connection 
failed error. I don't see any other packages failing to download from GitHub, 
suggesting it's my fault. OTOH the supposedly defective URL works fine, so I'm 
not sure how to make the build server happier.

Downloading 
https://github.com/mbutterick/pollen/tarball/c62bdbbe7233c5190628731725ba9169bc2cb067
tcp-connect: connection failed
  detail: host not found
  address: github.com
  port number: 443
  step: 1
  system error: Name or service not known; errno=-2

-- 
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] http connection errors on pkg-build

2015-08-01 Thread Andrew Gwozdziewycz
Possibly related? http://pkg-build.racket-lang.org/doc/pollen fails with a 403 
forbidden. Maybe some s3 permissions changed?

On August 1, 2015 8:54:11 AM PDT, Matthew Butterick m...@mbtype.com wrote:
For the last couple of days my pollen builds have failed with this
connection failed error. I don't see any other packages failing to
download from GitHub, suggesting it's my fault. OTOH the supposedly
defective URL works fine, so I'm not sure how to make the build server
happier.

Downloading
https://github.com/mbutterick/pollen/tarball/c62bdbbe7233c5190628731725ba9169bc2cb067
tcp-connect: connection failed
  detail: host not found
  address: github.com
  port number: 443
  step: 1
  system error: Name or service not known; errno=-2

-- 
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.

-- 
Sent from space.

-- 
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.