[project @ 2005-04-13 14:02:17 by simonmar]
authorsimonmar <unknown>
Wed, 13 Apr 2005 14:02:17 +0000 (14:02 +0000)
committersimonmar <unknown>
Wed, 13 Apr 2005 14:02:17 +0000 (14:02 +0000)
commit8b6fabaf6d91cd76814f02c0c796142494b5485d
treec33a5b74aa8841a847af255331b9b299222a70a4
parentb33027133d3c8df16334b8a337a136480894e338
[project @ 2005-04-13 14:02:17 by simonmar]
stopTaskManager: don't complain too loudly if we can't stop all the
tasks.  The IO manager thread turns out to be an offender here;
perhaps we should start sending signals to threads if they don't stop
when they're told to.
ghc/rts/Task.c