[plt-dev] Fwd: [plt-scheme] Download links in PLaneT

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
believe my patch is still needed based on what I've found.

Please let me know if I am looking at the wrong thing.  Thanks,
yc

On Wed, Oct 28, 2009 at 12:33 PM, Robby Findler <robby at eecs.northwestern.edu
> wrote:

> 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 into what you added?
>
> Robby
>
> On Wed, Oct 28, 2009 at 1:40 PM, YC <yinso.chen at gmail.com> wrote:
> > Hi all -
> >
> > I wasn't sure if the patch below was accepted so send it through the
> plt-dev
> > thread.  Please let me know if there are anything to add for it to be
> > accepted.
> >
> > Thanks,
> > yc
> >
> > ---------- Forwarded message ----------
> > From: YC <yinso.chen at gmail.com>
> > Date: Tue, Oct 13, 2009 at 1:14 PM
> > Subject: Re: [plt-scheme] Download links in PLaneT
> > To: Carl Eastlund <carl.eastlund at gmail.com>, Jay McCarthy
> > <jay.mccarthy at gmail.com>
> > Cc: PLT-Scheme Mailing List <plt-scheme at list.cs.brown.edu>, Stephen
> Bloch
> > <sbloch at adelphi.edu>
> >
> >
> >
> > On Tue, Oct 13, 2009 at 9:15 AM, Carl Eastlund <carl.eastlund at gmail.com>
> > wrote:
> >>
> >> It should be for setting up a student lab, if not for the phone
> situation.
> >>
> >
> > A similar issue is the recent planet outage -
> >
> http://groups.google.com/group/plt-scheme/browse_thread/thread/bd9108a0081f973a?pli=1
> > - it's desirable not to have to depend solely on the central planet
> server.
> >
> > Having a proxy pulling from the central planet server (either real-time
> or
> > batch) would solve the problem for both cases.  And to use such server
> we'll
> > need to configure the url that planet will point to.
> >
> > It seems that the value of the planet server is hardcoded in
> > COLLECTS/planet/config.ss, and it would be a pain to modify the value for
> > each installed PLT instance.  It's better if the value is read from a
> > environment variable or a file (one which the planet command line tool
> can
> > also read and modify).  Once this is made configurable, a planet proxy
> can
> > be built and used.
> >
> > For now - how about use an environment variable called PLTPLANETURL (or
> > another more preferable name)?  If so below is a potential patch.
> >
> > --- plt-4.2.1/collects/planet/config.ss    2009-07-16 05:28:08.000000000
> > -0700
> > +++ plt-scheme/planet/config.ss    2009-10-13 13:09:09.000000000 -0700
> > @@ -19,6 +19,7 @@
> >      (DEFAULT-PACKAGE-LANGUAGE (version))
> >
> >      (USE-HTTP-DOWNLOADS?       #t)
> > -    (HTTP-DOWNLOAD-SERVLET-URL
> > "http://planet.plt-scheme.org/servlets/planet-servlet.ss")
> > +    (HTTP-DOWNLOAD-SERVLET-URL (let ((url (getenv "PLTPLANETURL")))
> > +                                 (if (not url)
> > "http://planet.plt-scheme.org/servlets/planet-servlet.ss" url)))
> >      (PLANET-ARCHIVE-FILTER     #f)))
> >
> >
> >
> > _________________________________________________
> >  For list-related administrative tasks:
> >  http://list.cs.brown.edu/mailman/listinfo/plt-dev
> >
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20091028/22d7f50f/attachment.html>