<br><div class="gmail_quote">On Thu, Dec 4, 2008 at 10:28 PM, Jacob Matthews <span dir="ltr">&lt;<a href="mailto:jacobm@cs.uchicago.edu" target="_blank">jacobm@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;">


<br>
Most of the code in the planet server is dedicated to the second task.<br>
If you only wanted to worry about the first task (as presumably is<br>
what you&#39;d want to do with a local mirror), you could use the code in<br>
collects/planet/private/planet-shared.ss, probably starting with<br>
lookup-package. <br>
</blockquote><div><br>Thanks for the pointer, Jacob.&nbsp;<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
The other part of the task would be downloading the complete index of<br>
planet packages regularly. That I can&#39;t help you with.<br>
<font color="#888888"><br></font></blockquote><div><br>I noticed that planet server doesn&#39;t handle 304 (Etag, If-Non-Match, If-Modified-Since) caching.&nbsp; While I imagine bandwidth isn&#39;t an issue for uchicago, it can help a proxy to identify whether to download the package again (and save bandwidth).&nbsp; This would be a feature request ;)<br>


<br>Thanks,<br>yc<br><br></div></div>