Re: [racket-users] Unexpected output from get-pure-port.

2015-09-10 Thread Greg Hendershott
On Thu, Sep 10, 2015 at 9:26 PM, R. Clayton wrote: > "HTTP/1.1 200 OK > Date: Fri, 11 Sep 2015 01:10:39 GMT > Server: III 100 > Pragma: no-cache > Content-Type: text/html; ISO-8859-1 > Expires: Fri, 11 Sep 2015 01:10:39 GMT > Cache-control: no-cache > Set-Cookie: SE

Re: [racket-users] Unexpected output from get-pure-port.

2015-09-10 Thread Greg Hendershott
It might be that the server is giving a 30x Redirect response? Which wget automatically follows, but get-pure-port by default does not. Does it help if you supply a non-zero value like say 10 for the optional #:redirections argument to get-pure-port? If it still isn't working, you could try usin