From 8b6fabaf6d91cd76814f02c0c796142494b5485d Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 13 Apr 2005 14:02:17 +0000
Subject: [PATCH] [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 |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/rts/Task.c b/ghc/rts/Task.c
index 06eab69..8e0a279 100644
--- 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:
-- 
1.7.10.4