[racket] PLaneT and proxies

Oh-- Eli pointed out something offlist: did you try starting up
drracket, setting its proxy preferences and then trying to install
something from planet?

(If that works, then probably we'll just continue to wait for a more
careful rewrite of net/url.)

Robby

On Sun, Jun 20, 2010 at 2:59 PM, Norman Gray <norman at astro.gla.ac.uk> wrote:
>
> 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
>
>