Eli and Robby, hello. On 2010 Jun 20, at 20:49, Eli Barzilay wrote:
> On Jun 20, Norman Gray wrote: >> Robby, hello. >> >> On 2010 Jun 20, at 17:28, Robby Findler wrote: >> >>> I'm not really familiar with proxy setups and how to simulate them, >>> but if you wanted to submit a patch that worked for you, I'm pretty >>> sure that I could verify/adjust enough of it to be confident that it >>> wouldn't break others stuff and I'd put it in.... >> >> No probs. >> >> The following should basically work: >> >> % diff -c resolver.rkt{-orig,} >> [...] > > Does planet go through net/url? If so, then this is better done > there. (And if it doesn't, then it should...) It does. And yes (and yes, probably). > And IIRC, it already deals with proxy, only one that is set manually. I can't see any proxy-setup there, only the definition of the current-proxy-servers parameter. Best wishes, Norman -- Norman Gray : http://nxg.me.uk _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users