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 <div class="gmail_quote"> ---------- Forwarded message ---------- From: YC <<a href="mailto:yinso.chen@gmail.com">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">carl.eastlund@gmail.com</a>>, Jay McCarthy <<a href="mailto:jay.mccarthy@gmail.com">jay.mccarthy@gmail.com</a>> Cc: PLT-Scheme Mailing List <<a href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</a>>, Stephen Bloch <<a href="mailto:sbloch@adelphi.edu">sbloch@adelphi.edu</a>> <div class="gmail_quote"><div class="im">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: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> It should be for setting up a student lab, if not for the phone situation. </blockquote></div><div> 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>