how to implement timeouts for IO operations?

18 Apr 2001 17:34:16 GMT

Wed, 18 Apr 2001 14:52:12 +0200 (MET DST), Johannes Waldmann <joe@isun.informatik.uni-leipzig.de> pisze:

> it seems to work, but how do I turn off the "Fail: thread killed" messages?

import Exception

    t <- block $ forkIO $ catchJust asyncExceptions
        (unblock timer)
        (\_ -> return ())

Perhaps the message about killing a thread will not appear in future
versions of ghc. A discussion about it on this list stopped six
weeks ago.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK