Since ~2 days ago, the nightly builds report this failure in the
mzscheme tests:
Section(names)
ERROR: define-struct: cannot redefine name: s
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
That's exactly the problem that this patch try to solve though - the ability
to finally add mirrors proxies. I wanted to work on a mirror solution
before but grimaced at the prospect of having to hack this for each separate
plt instance, so this is a catch-22 situation.
Cheers,
yc
On Wed, Oct
Another use for this would be to have an isolated planet server so that
companies can use some benefits of planet without letting their users
leave the intranet.
I dealt with this at $JEORB years ago.
YC wrote:
That's exactly the problem that this patch try to solve though - the ability
to
On Wed, Oct 28, 2009 at 3:02 PM, Jon Rafkind rafk...@cs.utah.edu wrote:
Another use for this would be to have an isolated planet server so that
companies can use some benefits of planet without letting their users leave
the intranet.
I dealt with this at $JEORB years ago.
Nice $JAERORB,
Sorry; I've not had time to look into this, and I didn't reply because
I believe that there is some support for multiple sources of packages
that Jacob already added into planet (eg, the way that it will get
.plt files from a local cache when you're offline). Did you find that
code when you looked
I looked at the pre.plt-scheme.org but I didn't find your reference - is it
in another location? Pre's config.ss has not been modified since 2008 and
it still only make requests to the current central planet server and cannot
be pointed to a different url without manually hacking the code, so I
On Wed, Oct 28, 2009 at 12:58 PM, Robby Findler ro...@eecs.northwestern.edu
wrote:
No, I'm not seeing what I recalled, either. Sorry.
No worries.
As far as your patch goes, I'm not sure that's the best long term
solution and I'm not sure I want to support that going forward. Given
how