On Sunday, March 27, 2011 9:45:23 PM UTC-7, Ertugrul Soeylemez wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><p>&gt; For setting a global timeout on an entire session, it's better to wrap<br>&gt; the ``run_`` call with ``System.Timeout.timeout`` -- this is more<br>&gt; efficient than testing the time on every chunk, and does not require a<br>&gt; specialised enumerator.</p>It may be more efficient, but I don't really like it. &nbsp;I like robust<br><p>applications, and to me killing a thread is always a mistake, even if<br>the thread is kill-safe.</p></blockquote><div>``timeout`` doesn't kill the thread, it just returns ``Nothing`` if the computation took longer than expected.<br></div>