Thanks Robby!<br><br>
<div class="gmail_quote">On Tue, Jan 12, 2010 at 11:52 AM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="im">On Mon, Jan 11, 2010 at 11:42 PM, YC &lt;<a href="mailto:yinso.chen@gmail.com">yinso.chen@gmail.com</a>&gt; wrote:<br>&gt; Hi all,<br>&gt;<br>&gt; I am getting close to have a working implementation of a planet proxy, and I<br>
&gt; can make a release once I can resolve/implement against the following<br>&gt; questions:<br>&gt;<br>&gt; 1 - does the planet system make use of the &#39;required-core-version&#39;?  I was<br>&gt; able to install a package marked for 4.1 (via the planet edit metadata page)<br>
&gt; from PLT4.0.   What should the behavior be in such case?<br><br></div>The server uses that to decide which package to point a client to. You<br>can say &quot;planet url ...&quot; from your client to see this in action. That<br>
is, if you use &quot;planet url&quot; from version 4.0 on a package marked for<br>4.1, you won&#39;t get that one back.<br>
<div class="im"><br>&gt; 2 - also - does the planet system make use of the &#39;repositories&#39; value from<br>&gt; info.ss?<br><br></div>Yes. It is used as the above, I believe, but also used to control what<br>shows up on the front page (see the link at the top next to &quot;view<br>
packages&quot; at <a href="http://planet.plt-scheme.org/" target="_blank">http://planet.plt-scheme.org/</a>).<br>
<div class="im"><br>&gt; 3 - the package-source url (<a href="http://planet.plt-scheme.org/package-source/" target="_blank">http://planet.plt-scheme.org/package-source/</a>)<br>&gt; used to be visible with package directories but now it is forbidden.  This<br>
&gt; page provides a point for a crawler to mirror the packages.  Can we make it<br>&gt; (and the children path) visible again?<br><br></div>I think I&#39;ve fixed that, thanks.<br><font color="#888888"><br>Robby<br></font></blockquote>
</div><br>