From 1f801e3abd16559f2120b7f482b19deb0c43a0c7 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 15 Dec 2006 17:26:17 +0000 Subject: [PATCH] Free all tasks on exit, not just those on the task_free_list --- rts/Task.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/rts/Task.c b/rts/Task.c index 9aa43c0..4a63084 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -83,14 +83,15 @@ freeTaskManager (void) debugTrace(DEBUG_sched, "freeing task manager"); ACQUIRE_LOCK(&sched_mutex); - for (task = task_free_list; task != NULL; task = next) { + for (task = all_tasks; task != NULL; task = next) { #if defined(THREADED_RTS) closeCondition(&task->cond); closeMutex(&task->lock); #endif - next = task->next; + next = task->all_link; stgFree(task); } + all_tasks = NULL; task_free_list = NULL; RELEASE_LOCK(&sched_mutex); } -- 1.7.10.4