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

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Wed Oct 28 14:46:29 EDT 2009

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.chen at 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.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)))
>
>
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93


Posted on the dev mailing list.