diff --git a/rts/Task.c b/rts/Task.c index 9aa43c08c21e5e9b761cf53926546134cabb94e6..4a630843b725cec6aa1afaff7e26417dac2a06ae 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); }