<br><div class="gmail_quote">On Tue, Oct 13, 2009 at 9:15 AM, Carl Eastlund <span dir="ltr">&lt;<a href="mailto:carl.eastlund@gmail.com" target="_blank">carl.eastlund@gmail.com</a>&gt;</span> wrote:<br><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.<br>
<font color="#888888"><br></font></blockquote><div><br>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&#39;s desirable not to have to depend solely on the central planet server. <br>
<br>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&#39;ll need to configure the url that planet will point to. <br><br>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&#39;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. <br><br>For now - how about use an environment variable called PLTPLANETURL (or another more preferable name)?  If so below is a potential patch.<br>
<br><span style="font-family: courier new,monospace;">--- plt-4.2.1/collects/planet/config.ss    2009-07-16 05:28:08.000000000 -0700<br>+++ plt-scheme/planet/config.ss    2009-10-13 13:09:09.000000000 -0700<br>@@ -19,6 +19,7 @@<br>
     (DEFAULT-PACKAGE-LANGUAGE (version))<br>     <br>     (USE-HTTP-DOWNLOADS?       #t)<br>-    (HTTP-DOWNLOAD-SERVLET-URL &quot;<a href="http://planet.plt-scheme.org/servlets/planet-servlet.ss">http://planet.plt-scheme.org/servlets/planet-servlet.ss</a>&quot;)<br>
+    (HTTP-DOWNLOAD-SERVLET-URL (let ((url (getenv &quot;PLTPLANETURL&quot;))) <br>+                                 (if (not url) &quot;<a href="http://planet.plt-scheme.org/servlets/planet-servlet.ss">http://planet.plt-scheme.org/servlets/planet-servlet.ss</a>&quot; url)))<br>
     (PLANET-ARCHIVE-FILTER     #f)))<br><br></span></div></div>