<br><div class="gmail_quote">On Tue, Dec 2, 2008 at 10:03 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@cs.uchicago.edu" target="_blank">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;"> If it isn't in the docs, then I don't think it is in the client<br> implementation. But I'd have to go look at it myself to answer those<br> questions and I suspect you'd be just as good as I would for that.<br> </blockquote><div><br>Thanks for the pointer - based on <a href="http://docs.plt-scheme.org/planet/Utility_Libraries.html" target="_blank">http://docs.plt-scheme.org/planet/Utility_Libraries.html</a>, it seems that planet can use either HTTP or a "custom" planet protocol. Also it seems that planet does read from a config.ss file, which can potentially facilitate reading from a local mirror site.  The config.ss in my installation shows that by default plt uses the http protocol.  <br> <br>The doc doesn't discuss how to setup a local mirror of <a href="http://planet.plt-scheme.org" target="_blank">planet.plt-scheme.org</a>.  Based on running planet url <author> <pkg> ..., it does seem that a servlet called planet-servlet.ss is required to access the packages correctly.  Hence I would imagine that setting up a local mirror including having the planet-servlet.ss available.  <br> <br>Are there additional requirements for setting up a mirror?<br><br>Thanks,<br>yc<br><br></div></div>