Tue, 21 Mar 2000 02:09:40 -0800, Simon Marlow <[EMAIL PROTECTED]> pisze:
> There's a default exception handler installed on all threads forked
> with forkIO, which prints on stderr any exception caught. Is that
> your objection?
It's OK for other exceptions, but I thought that killing a thread is
not a symptom of an error. So even if it is modelled as an exception,
IMHO this exception should not cause any error message.
OK, I could catch the exception in the thread to be killed, and
synchronize threads at the beginning to prevent a race when it is
killed before the exception handler is entered, but it does not
look nice.
BTW, is it OK to kill a thread that has already exited?
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/ GCS/M d- s+:-- a22 C+++$ UL++>++++$ P+++ L++>++++$ E-
^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-
