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

No, I'm not seeing what I recalled, either. Sorry.

As far as your patch goes, I'm not sure that's the best long term
solution and I'm not sure I want to support that going forward. Given
how easy it is to apply that patch to your own system, perhaps that's
the best thing to do for now?

I do plan to give some thought to adding redundancy to the planet
server to avoid outages but I've just not had a chance to really spend
quality time on it. If you are willing to spend sometime sorting out
the server side issues and put something together that's a bit more
comprehensive, I'd be willing to help with it, as I have time (and to
put it into planet itself, of course).

The main thing I really need to do with planet asap, tho, is get it
moved to NEU. (I'm embarrassed at how long it is taking me to do
that.)

Robby

On Wed, Oct 28, 2009 at 2:49 PM, YC <yinso.chen at gmail.com> wrote:
> I looked at the pre.plt-scheme.org but I didn't find your reference - is it
> in another location?  Pre's config.ss has not been modified since 2008 and
> it still only make requests to the current central planet server and cannot
> be pointed to a different url without manually hacking the code, so I
> believe my patch is still needed based on what I've found.
>
> Please let me know if I am looking at the wrong thing.  Thanks,
> yc
>
> On Wed, Oct 28, 2009 at 12:33 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>>
>> Sorry; I've not had time to look into this, and I didn't reply because
>> I believe that there is some support for multiple sources of packages
>> that Jacob already added into planet (eg, the way that it will get
>> .plt files from a local cache when you're offline). Did you find that
>> code when you looked into what you added?
>>
>> Robby
>>
>> On Wed, Oct 28, 2009 at 1: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
>> >
>> >
>
>