[racket-dev] PLaneT and proxies

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 hack?  Even that runs into a problem -- there needs to be a
difference between setting proxies to nothing vs letting it choose
some (platform-specific) default.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!