I looked at the <a href="http://pre.plt-scheme.org" target="_blank">pre.plt-scheme.org</a> 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 <div class="gmail_quote">On Wed, Oct 28, 2009 at 12:33 PM, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>> wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> 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 <div><div></div><div> On Wed, Oct 28, 2009 at 1:40 PM, YC <<a href="mailto:yinso.chen@gmail.com" target="_blank">yinso.chen@gmail.com</a>> 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 <<a href="mailto:yinso.chen@gmail.com" target="_blank">yinso.chen@gmail.com</a>> > Date: Tue, Oct 13, 2009 at 1:14 PM > Subject: Re: [plt-scheme] Download links in PLaneT > To: Carl Eastlund <<a href="mailto:carl.eastlund@gmail.com" target="_blank">carl.eastlund@gmail.com</a>>, Jay McCarthy > <<a href="mailto:jay.mccarthy@gmail.com" target="_blank">jay.mccarthy@gmail.com</a>> > Cc: PLT-Scheme Mailing List <<a href="mailto:plt-scheme@list.cs.brown.edu" target="_blank">plt-scheme@list.cs.brown.edu</a>>, Stephen Bloch > <<a href="mailto:sbloch@adelphi.edu" target="_blank">sbloch@adelphi.edu</a>> > > > > On Tue, Oct 13, 2009 at 9:15 AM, Carl Eastlund <<a href="mailto:carl.eastlund@gmail.com" target="_blank">carl.eastlund@gmail.com</a>> > wrote: >> >> It should be for setting up a student lab, if not for the phone situation. >> > > A similar issue is the recent planet outage - > <a href="http://groups.google.com/group/plt-scheme/browse_thread/thread/bd9108a0081f973a?pli=1" target="_blank">http://groups.google.com/group/plt-scheme/browse_thread/thread/bd9108a0081f973a?pli=1</a> > - 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 > "<a href="http://planet.plt-scheme.org/servlets/planet-servlet.ss" target="_blank">http://planet.plt-scheme.org/servlets/planet-servlet.ss</a>") > + (HTTP-DOWNLOAD-SERVLET-URL (let ((url (getenv "PLTPLANETURL"))) > + (if (not url) > "<a href="http://planet.plt-scheme.org/servlets/planet-servlet.ss" target="_blank">http://planet.plt-scheme.org/servlets/planet-servlet.ss</a>" url))) > (PLANET-ARCHIVE-FILTER #f))) > > > </div></div><div>> _________________________________________________ > For list-related administrative tasks: </div>> <a href="http://list.cs.brown.edu/mailman/listinfo/plt-dev" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-dev</a> > > </blockquote></div>