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

From: Jon Rafkind (rafkind at cs.utah.edu)
Date: Wed Oct 28 15:02:28 EDT 2009

Another use for this would be to have an isolated planet server so that 
companies can use some benefits of planet without letting their users 
leave the intranet.

I dealt with this at $JEORB years ago.

YC wrote:
> That's exactly the problem that this patch try to solve though - the ability
> to finally add mirrors & proxies.  I wanted to work on a mirror solution
> before but grimaced at the prospect of having to hack this for each separate
> plt instance, so this is a catch-22 situation.
>
> Cheers,
> yc
>
> On Wed, Oct 28, 2009 at 11:46 AM, Jay McCarthy <jay.mccarthy at gmail.com>wrote:
>
>   
>> 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
>>
>>     
>
>   
> ------------------------------------------------------------------------
>
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-dev
>   



Posted on the dev mailing list.