<div>
                    <br>
                </div>
                <div></div>
                 
                <p style="color: #A0A0A8;">On Monday, April 16, 2012 at 6:20 PM, "Martin v. Löwis" wrote:</p>
                <blockquote type="cite" style="border-left-style:solid;border-width:1px;margin-left:0px;padding-left:10px;">
                    <span><div><div><blockquote type="cite"><div><blockquote type="cite"><div><div>That mirroring implementation would violate the principle that</div><div>last-modified should only be updated when the mirroring run was</div><div>completed successfully.</div></div></blockquote><div>Is this documented anywhere? I don't see it in PEP381.</div></div></blockquote><div><br></div><div>It's certainly meant by "the last synchronisation date the mirror</div><div>maintains". Should I qualify that with "successful synchronization"</div><div>to make it more clear?</div></div></div></span></blockquote><div>That is more clear. Don't mean to be pedantic about it, just that when I</div><div>personally was implementing pep381 the fact that should be stored</div><div>_after_ the synchronization didn't occur to me (I ended up doing it that way</div><div>for other reasons anyways) and I thought that I might not be the only one.&nbsp;</div><blockquote type="cite" style="border-left-style:solid;border-width:1px;margin-left:0px;padding-left:10px;"><span><div><div><div><br></div><div>Regards,</div><div>Martin</div></div></div></span>
                 
                 
                 
                 
                </blockquote>
                 
                <div>
                    <br>
                </div>