28 Mar
2011
28 Mar
'11
3:06 p.m.
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.