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

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 28, 2009 at 11:46 AM, Jay McCarthy <jay.mccarthy at gmail.com>wrote:

> The main problem with this, IMHO, is that there are no alternative
> implementations of that servlet or mirrors, so I don't see the point
> in allowing the configuration.
>
> Jay
>
> On Wed, Oct 28, 2009 at 12: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
> >
> >
>
>
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://teammccarthy.org/jay
>
> "The glory of God is Intelligence" - D&C 93
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20091028/e08cd17e/attachment.html>