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.mccar...@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.c...@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.c...@gmail.com> > > Date: Tue, Oct 13, 2009 at 1:14 PM > > Subject: Re: [plt-scheme] Download links in PLaneT > > To: Carl Eastlund <carl.eastl...@gmail.com>, Jay McCarthy > > <jay.mccar...@gmail.com> > > Cc: PLT-Scheme Mailing List <plt-sch...@list.cs.brown.edu>, Stephen > Bloch > > <sbl...@adelphi.edu> > > > > > > > > On Tue, Oct 13, 2009 at 9:15 AM, Carl Eastlund <carl.eastl...@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 <j...@cs.byu.edu> > Assistant Professor / Brigham Young University > http://teammccarthy.org/jay > > "The glory of God is Intelligence" - D&C 93 >
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev