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

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
>