[plt-dev] Fwd: [plt-scheme] Download links in PLaneT

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.chen at gmail.com>
Date: Tue, Oct 13, 2009 at 1:14 PM
Subject: Re: [plt-scheme] Download links in PLaneT
To: Carl Eastlund <carl.eastlund at gmail.com>, Jay McCarthy <
jay.mccarthy at gmail.com>
Cc: PLT-Scheme Mailing List <plt-scheme at list.cs.brown.edu>, Stephen Bloch <
sbloch at adelphi.edu>



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 -
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)))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20091028/2c2d7014/attachment.html>