<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br class="webkit-block-placeholder"></div><div>On Jan 2, 2008, at 7:38 AM, Florent Daignière wrote:</div><blockquote type="cite"><span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: Courier; "><blockquote type="cite">Why not just use if(isConnected()) { ... } ? As far as I can see that is <br></blockquote><blockquote type="cite">correct: if we're not connected, we don't care about verified*.<br></blockquote><br>You're suggesting to revert robert's patch, wich is fine by me... as I<br>said, I don't understand why it helps<br><br>NextGen$</span></blockquote><br><div><div>On Jan 3, 2008, at 9:19 AM, Matthew Toseland wrote:</div><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Courier; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; ">Please restore the original version. It looks like it was correct after all,<span class="Apple-converted-space"> </span><br>and the problem is not fetching ARKs when verified*=true.</span></blockquote></div><br><div>If you really want me to, I certainly will, but... if you and nextgens agree that it is benign to active connections, and in my reasoning prevents a deadlock for long disconnections... why? I think that it would be more useful to simply rename the identifiers to be more intuitive until the ark problem is solved to your satisfaction (e.g. as David said he may).</div><div><br class="webkit-block-placeholder"></div><div>--</div><div>Robert Hailey</div><div><br class="webkit-block-placeholder"></div></body></html>