-
Simon Marlow authored
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.
8b6fabaf