<br><div class="gmail_quote">On Wed, Oct 28, 2009 at 12:58 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.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;">
No, I'm not seeing what I recalled, either. Sorry.<br></blockquote><div><br>No worries. <br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
As far as your patch goes, I'm not sure that's the best long term<br>
solution and I'm not sure I want to support that going forward. Given<br>
how easy it is to apply that patch to your own system, perhaps that's<br>
the best thing to do for now?<br></blockquote><div><br>My plan was to release a mirror tool as a planet package so others can setup their own mirrors as well. I agree that this might not be the long term solution, but without having something in place such package does not make sense for others, so I guess that would have to be delayed unless you want to accept the patch interim or until we found a solution you can accept. <br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I do plan to give some thought to adding redundancy to the planet<br>
server to avoid outages but I've just not had a chance to really spend<br>
quality time on it. If you are willing to spend sometime sorting out<br>
the server side issues and put something together that's a bit more<br>
comprehensive, I'd be willing to help with it, as I have time (and to<br>
put it into planet itself, of course).<br></blockquote><div><br>I am happy to help out here. If you can let me know what sort of server side issues that you are thinking about (I more or less got the mirror & proxy figured out - just need to implement it) then we can collaborate. <br>
<br>Thanks,<br>yc<br><br></div></div>