<br><div class="gmail_quote">On Tue, Dec 2, 2008 at 10:03 PM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@cs.uchicago.edu" target="_blank">robby@cs.uchicago.edu</a>&gt;</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&#39;t in the docs, then I don&#39;t think it is in the client<br>
implementation. But I&#39;d have to go look at it myself to answer those<br>
questions and I suspect you&#39;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 &quot;custom&quot; planet protocol. Also it seems that planet does read from a config.ss file, which can potentially facilitate reading from a local mirror site.&nbsp; The config.ss in my installation shows that by default plt uses the http protocol.&nbsp; <br>

<br>The doc doesn&#39;t discuss how to setup a local mirror of <a href="http://planet.plt-scheme.org" target="_blank">planet.plt-scheme.org</a>.&nbsp; Based on running planet url &lt;author&gt; &lt;pkg&gt; ..., it does seem that a servlet called planet-servlet.ss is required to access the packages correctly.&nbsp; Hence I would imagine that setting up a local mirror including having the planet-servlet.ss available.&nbsp; <br>
<br>Are there additional requirements for setting up a mirror?<br><br>Thanks,<br>yc<br><br></div></div>