[plt-scheme] Download links in PLaneT

From: YC (yinso.chen at gmail.com)
Date: Tue Oct 13 16:14:14 EDT 2009

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 -
it's desirable not to have to depend solely on the central planet

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
+++ plt-scheme/planet/config.ss    2009-10-13 13:09:09.000000000 -0700
@@ -19,6 +19,7 @@

     (USE-HTTP-DOWNLOADS?       #t)
+    (HTTP-DOWNLOAD-SERVLET-URL (let ((url (getenv "PLTPLANETURL")))
+                                 (if (not url) "
http://planet.plt-scheme.org/servlets/planet-servlet.ss" url)))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20091013/9195162c/attachment.html>

Posted on the users mailing list.