Re: planet proxy/mirror == Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
Let me just double check something to be sure I'm on the same page. The planet mirror will completely avoid the current planet server, right? So, it has to be able to make the decision: given a planet package request (including the version number of the mzscheme loading the package) and the information on the mirror, which package to serve, right? I'm thinking you don't want to duplicate that code, right? Do you have a plan for that? One thing would be for you to actually run a planet server on the mirror, no? Robby On Tue, Jan 19, 2010 at 8:36 PM, YC yinso.c...@gmail.com wrote: On Tue, Jan 19, 2010 at 5:01 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not sure I'm quite getting what you want, but is using 'planet url' (via the planet commadline tool) sufficient? Sorry for being unclear. It's not about 'planet url'. Basically the planet servlet appears to expect a parameter called lang, which is set to the current version number. And planet does not download a package if the version number does not match the package's criteria. For example - with v4.2.3, if I run 'planet url bzlib base.plt 1 3' I get the following url with a lang parameter http://planet.plt-scheme.org/servlets/planet-servlet.ss?lang=%224.2.3%22name=%22base.plt%22maj=1min-lo=3min-hi=%23fpath=%28%22bzlib%22%29 And if I strip the lang param out, which gives us http://planet.plt-scheme.org/servlets/planet-servlet.ss?name=%22base.plt%22maj=1min-lo=3min-hi=%23fpath=%28%22bzlib%22%29 Passing the stripped url I get the following as a response instead of the package itself Binding for lang had improper format Lang criteria is great for ensuring mzscheme downloading a package that matches its version, but this does not work well for mirroring, which simply tries to download all packages without caring about the versions. I can currently think of the following ways to solve this issue - there probably are other ways I have not thought of, of course: Through planet server Enable lang-less download Either expose the directory structure where the plt files are held through the web server, or Modify the servlet so lang becomes optional Provide an API to query for minimum version necessary for each plt file (this still requires one additional round trip) Through my mirroring client Try all mzscheme version number to see which one works (brute force) The .plt files are all there, but they aren't in a place that is served by the web server. I looked quickly into changing that; it isn't trivial, but it is certainly doable if 'planet url' isn't sufficient. I was hoping this can be a trivial change - wasn't trying to create work for you ;) If it's too much effort I can go with the brute force method until you can look into it. Let me know if I need to provide additional clarifications. Thanks, yc _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: planet proxy/mirror == Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
Meanwhile, I've set up http://planet.plt-scheme.org/archives/ which contains all of the .plt files, as well as their unpacked versions. hth, Robby On Wed, Jan 20, 2010 at 9:45 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Let me just double check something to be sure I'm on the same page. The planet mirror will completely avoid the current planet server, right? So, it has to be able to make the decision: given a planet package request (including the version number of the mzscheme loading the package) and the information on the mirror, which package to serve, right? I'm thinking you don't want to duplicate that code, right? Do you have a plan for that? One thing would be for you to actually run a planet server on the mirror, no? Robby On Tue, Jan 19, 2010 at 8:36 PM, YC yinso.c...@gmail.com wrote: On Tue, Jan 19, 2010 at 5:01 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not sure I'm quite getting what you want, but is using 'planet url' (via the planet commadline tool) sufficient? Sorry for being unclear. It's not about 'planet url'. Basically the planet servlet appears to expect a parameter called lang, which is set to the current version number. And planet does not download a package if the version number does not match the package's criteria. For example - with v4.2.3, if I run 'planet url bzlib base.plt 1 3' I get the following url with a lang parameter http://planet.plt-scheme.org/servlets/planet-servlet.ss?lang=%224.2.3%22name=%22base.plt%22maj=1min-lo=3min-hi=%23fpath=%28%22bzlib%22%29 And if I strip the lang param out, which gives us http://planet.plt-scheme.org/servlets/planet-servlet.ss?name=%22base.plt%22maj=1min-lo=3min-hi=%23fpath=%28%22bzlib%22%29 Passing the stripped url I get the following as a response instead of the package itself Binding for lang had improper format Lang criteria is great for ensuring mzscheme downloading a package that matches its version, but this does not work well for mirroring, which simply tries to download all packages without caring about the versions. I can currently think of the following ways to solve this issue - there probably are other ways I have not thought of, of course: Through planet server Enable lang-less download Either expose the directory structure where the plt files are held through the web server, or Modify the servlet so lang becomes optional Provide an API to query for minimum version necessary for each plt file (this still requires one additional round trip) Through my mirroring client Try all mzscheme version number to see which one works (brute force) The .plt files are all there, but they aren't in a place that is served by the web server. I looked quickly into changing that; it isn't trivial, but it is certainly doable if 'planet url' isn't sufficient. I was hoping this can be a trivial change - wasn't trying to create work for you ;) If it's too much effort I can go with the brute force method until you can look into it. Let me know if I need to provide additional clarifications. Thanks, yc _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: planet proxy/mirror == Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
On Tue, Jan 12, 2010 at 11:52 AM, Robby Findler ro...@eecs.northwestern.edu wrote: 3 - the package-source url (http://planet.plt-scheme.org/package-source/ ) used to be visible with package directories but now it is forbidden. This page provides a point for a crawler to mirror the packages. Can we make it (and the children path) visible again? I think I've fixed that, thanks. Okay - now that I have sometime playing with it, it appears that the current package-source is insufficient for mirroring purposes. While I now can crawl the repository, I then would have to pass the right lang version in order to download the package via the planet API - this would require guessing, or iterate through all lang versions across all paths, which is obviously inefficient. Is there a possibility that the underlying package can be exposed via some url so they can be mirrored without using the lang value? I am assuming the packages are held somewhere on the hard drive that are closely related to the package-source directory, so I am assuming exposing the link is a minimal work. If this assumption is not true, let me know, and I will implement the brute force approach until planet can be adjusted for lang-less download. Thanks, yc _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: planet proxy/mirror == Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
I'm not sure I'm quite getting what you want, but is using 'planet url' (via the planet commadline tool) sufficient? The .plt files are all there, but they aren't in a place that is served by the web server. I looked quickly into changing that; it isn't trivial, but it is certainly doable if 'planet url' isn't sufficient. Robby On Tue, Jan 19, 2010 at 1:08 PM, YC yinso.c...@gmail.com wrote: On Tue, Jan 12, 2010 at 11:52 AM, Robby Findler ro...@eecs.northwestern.edu wrote: 3 - the package-source url (http://planet.plt-scheme.org/package-source/) used to be visible with package directories but now it is forbidden. This page provides a point for a crawler to mirror the packages. Can we make it (and the children path) visible again? I think I've fixed that, thanks. Okay - now that I have sometime playing with it, it appears that the current package-source is insufficient for mirroring purposes. While I now can crawl the repository, I then would have to pass the right lang version in order to download the package via the planet API - this would require guessing, or iterate through all lang versions across all paths, which is obviously inefficient. Is there a possibility that the underlying package can be exposed via some url so they can be mirrored without using the lang value? I am assuming the packages are held somewhere on the hard drive that are closely related to the package-source directory, so I am assuming exposing the link is a minimal work. If this assumption is not true, let me know, and I will implement the brute force approach until planet can be adjusted for lang-less download. Thanks, yc _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: planet proxy/mirror == Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
On Mon, Jan 11, 2010 at 11:42 PM, YC yinso.c...@gmail.com wrote: Hi all, I am getting close to have a working implementation of a planet proxy, and I can make a release once I can resolve/implement against the following questions: 1 - does the planet system make use of the 'required-core-version'? I was able to install a package marked for 4.1 (via the planet edit metadata page) from PLT4.0. What should the behavior be in such case? The server uses that to decide which package to point a client to. You can say planet url ... from your client to see this in action. That is, if you use planet url from version 4.0 on a package marked for 4.1, you won't get that one back. 2 - also - does the planet system make use of the 'repositories' value from info.ss? Yes. It is used as the above, I believe, but also used to control what shows up on the front page (see the link at the top next to view packages at http://planet.plt-scheme.org/). 3 - the package-source url (http://planet.plt-scheme.org/package-source/) used to be visible with package directories but now it is forbidden. This page provides a point for a crawler to mirror the packages. Can we make it (and the children path) visible again? I think I've fixed that, thanks. Robby _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: planet proxy/mirror == Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
Thanks Robby! On Tue, Jan 12, 2010 at 11:52 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Mon, Jan 11, 2010 at 11:42 PM, YC yinso.c...@gmail.com wrote: Hi all, I am getting close to have a working implementation of a planet proxy, and I can make a release once I can resolve/implement against the following questions: 1 - does the planet system make use of the 'required-core-version'? I was able to install a package marked for 4.1 (via the planet edit metadata page) from PLT4.0. What should the behavior be in such case? The server uses that to decide which package to point a client to. You can say planet url ... from your client to see this in action. That is, if you use planet url from version 4.0 on a package marked for 4.1, you won't get that one back. 2 - also - does the planet system make use of the 'repositories' value from info.ss? Yes. It is used as the above, I believe, but also used to control what shows up on the front page (see the link at the top next to view packages at http://planet.plt-scheme.org/). 3 - the package-source url (http://planet.plt-scheme.org/package-source/ ) used to be visible with package directories but now it is forbidden. This page provides a point for a crawler to mirror the packages. Can we make it (and the children path) visible again? I think I've fixed that, thanks. Robby _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
No problem Robby - I was just about to ask how things are doing. Thanks for applying the patch. yc On Tue, Nov 3, 2009 at 10:37 AM, Robby Findler ro...@eecs.northwestern.eduwrote: Well, after some more thought, I've decided I was being stupid. I've checked (essentially) your patch (revision 16521 in SVN). If I sort out some other superduperfancydancy thing in the future, I'll be sure to let you know. Sorry for the wait and I hope you've not lost steam. Robby _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
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.mccar...@gmail.comwrote: 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.ss2009-07-16 05:28:08.0 -0700 +++ plt-scheme/planet/config.ss2009-10-13 13:09:09.0 -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 - DC 93 _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: [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.mccar...@gmail.comwrote: 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.ss2009-07-16 05:28:08.0 -0700 +++ plt-scheme/planet/config.ss2009-10-13 13:09:09.0 -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 - DC 93 _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
On Wed, Oct 28, 2009 at 3:02 PM, Jon Rafkind rafk...@cs.utah.edu wrote: 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. Nice $JAERORB, $HAMSTRAY. --Carl _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
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.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.0 -0700 +++ plt-scheme/planet/config.ss 2009-10-13 13:09:09.0 -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 _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
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 ro...@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.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.ss2009-07-16 05:28:08.0 -0700 +++ plt-scheme/planet/config.ss2009-10-13 13:09:09.0 -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 _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
Re: [plt-dev] Fwd: [plt-scheme] Download links in PLaneT
On Wed, Oct 28, 2009 at 12:58 PM, Robby Findler ro...@eecs.northwestern.edu wrote: No, I'm not seeing what I recalled, either. Sorry. No worries. 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? My plan was to release a mirror tool as a planet package so others can setup their own mirrors as well. I agree that this might not be the long term solution, but without having something in place such package does not make sense for others, so I guess that would have to be delayed unless you want to accept the patch interim or until we found a solution you can accept. 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). I am happy to help out here. If you can let me know what sort of server side issues that you are thinking about (I more or less got the mirror proxy figured out - just need to implement it) then we can collaborate. Thanks, yc _ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
