The main problem with this, IMHO, is that there are no alternative
implementations of that servlet or mirrors, so I don't see the point
in allowing the configuration.
Jay
On Wed, Oct 28, 2009 at 12:40 PM, YC <yinso.c...@gmail.com> 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 <yinso.c...@gmail.com>
Date: Tue, Oct 13, 2009 at 1:14 PM
Subject: Re: [plt-scheme] Download links in PLaneT
To: Carl Eastlund <carl.eastl...@gmail.com>, Jay McCarthy
<jay.mccar...@gmail.com>
Cc: PLT-Scheme Mailing List <plt-sch...@list.cs.brown.edu>, Stephen
Bloch
<sbl...@adelphi.edu>
On Tue, Oct 13, 2009 at 9:15 AM, Carl Eastlund <carl.eastl...@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)))
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay
"The glory of God is Intelligence" - D&C 93