<div class="gmail_quote"><br>On Wed, Dec 3, 2008 at 1:45 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@cs.uchicago.edu">robby@cs.uchicago.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> <div><div class="Wj3C7c">> Are planet-servlet.ss available for distribution then?<br> <br> </div></div>I don't understand the question, but I think the answer is "no". I<br> have not set anything up so that you can download all of the packages<br> and the contents of the database, if that's what you're asking.<br> <font color="#888888"></font></blockquote><div><br>planet-servlet.ss appears to be the servlet that distributes the right packages when planet client connects.  It's probably not hard to figure out what it does under the hood.<br> </div></div><br><div class="gmail_quote">On Wed, Dec 3, 2008 at 1:45 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@cs.uchicago.edu">robby@cs.uchicago.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> Let me ask a question: are you running into stability problems that a<br> mirror or local cache of some kind would solve?<br> <font color="#888888"></font></blockquote><div><br>Yes.  I think I have some ideas on how this could work.  I'll do some experiments on my end.<br><br>Thanks,<br>yc<br><br></div></div>