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 e...@barzilay.org wrote: [Moving the thread to

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