From 1f801e3abd16559f2120b7f482b19deb0c43a0c7 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
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 9aa43c08c21e..4a630843b725 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);
}
--
GitLab