
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On May 6, 2010, at 5:25 PM, Arno Rehn wrote:</div><blockquote type="cite"><div><font class="Apple-style-span" color="#006312"><br></font>to detect a probable endless loop. I'll try this and check it in, if it works.<br></div></blockquote></div><br><div>hey Arno, it works. Thanks for the quick fix!</div><div><br></div><div>petr</div><div><br></div></body></html>