[racket-dev] PLaneT and proxies

2011-10-08 Thread Norman Gray
Greetings. A while ago, there was a discussion on users, which moved to dev, about PLaneT's support for HTTP proxies. http://lists.racket-lang.org/users/archive/2010-June/039949.html http://lists.racket-lang.org/dev/archive/2010-June/003496.html Reading through that thread now, I see that it i

Re: [racket-dev] PLaneT and proxies

2010-09-29 Thread Norman Gray
Robby, hello. Back around 2010 June 20, there was a discussion about PLaneT and proxies. It ended with: On 2010 Jun 21, at 09:43, Norman Gray wrote: >> Oh-- Eli pointed out something offlist: did you try starting up >> drracket, setting its proxy preferences and then trying to install >> some

Re: [racket-dev] PLaneT and proxies

2010-06-21 Thread Norman Gray
Eli, hello. On 2010 Jun 20, at 22:53, Eli Barzilay wrote: > [Moving the thread to dev.] I've subscribed for the moment. > What about specifications of conditional proxies? Ones that apply > only to some domain patterns. And I can't think of a good way to do > this if instead of name patterns

Re: [racket-dev] PLaneT and proxies

2010-06-20 Thread Eli Barzilay
On Jun 20, Robby Findler wrote: > So, going forward, what is the right thing? Is there something > simple we can do for now so that Norman can use planet on his > school's network, or should we wait for the net/url rewrite? I'm not sure. Perhaps quick patch job with a comment saying that it's a h

Re: [racket-dev] PLaneT and proxies

2010-06-20 Thread Robby Findler
So, going forward, what is the right thing? Is there something simple we can do for now so that Norman can use planet on his school's network, or should we wait for the net/url rewrite? Thanks, Robby On Sun, Jun 20, 2010 at 4:53 PM, Eli Barzilay wrote: > [Moving the thread to dev.] > > On Jun 20

Re: [racket-dev] PLaneT and proxies

2010-06-20 Thread Eli Barzilay
[Moving the thread to dev.] On Jun 20, Norman Gray wrote: > Eli and Robby, hello. > > On 2010 Jun 20, at 20:59, Norman Gray wrote: > > >> 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, prob