On Sunday, March 27, 2011 9:45:23 PM UTC-7, Ertugrul Soeylemez wrote:

> For setting a global timeout on an entire session, it's better to wrap
> the ``run_`` call with ``System.Timeout.timeout`` -- this is more
> efficient than testing the time on every chunk, and does not require a
> specialised enumerator.
It may be more efficient, but I don't really like it. I like robust
applications, and to me killing a thread is always a mistake, even if
the thread is kill-safe.

``timeout`` doesn't kill the thread, it just returns ``Nothing`` if the computation took longer than expected.