[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.

diff --git a/ghc/rts/Task.c b/ghc/rts/Task.c
index 06eab69..8e0a279 100644 (file)
--- a/ghc/rts/Task.c
+++ b/ghc/rts/Task.c
@@ -82,7 +82,7 @@ stopTaskManager (void)
        prodWorker();
        yieldThread();
     }
-    errorBelch("%d tasks still running, exiting anyway", tasksRunning);
+    IF_DEBUG(scheduler, sched_belch("%d tasks still running, exiting anyway", tasksRunning));
 
     /* 
        OLD CODE follows: