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!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
