X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FTask.c;h=551f13777a645eea4f9d8023333a88db4e682754;hb=6ffb1cec5bc6fcc834547fc456322d2eb2418ff6;hp=588d414d875a9d20232a1cfd678a017442ecaaeb;hpb=ab0e778ccfde61aed4c22679b24d175fc6cc9bf3;p=ghc-hetmet.git diff --git a/rts/Task.c b/rts/Task.c index 588d414..551f137 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -68,19 +68,27 @@ initTaskManager (void) void stopTaskManager (void) { - Task *task, *next; - debugTrace(DEBUG_sched, "stopping task manager, %d tasks still running", tasksRunning); + /* nothing to do */ +} + + +void +freeTaskManager (void) +{ + Task *task, *next; + + debugTrace(DEBUG_sched, "freeing task manager"); ACQUIRE_LOCK(&sched_mutex); for (task = task_free_list; task != NULL; task = next) { - next = task->next; #if defined(THREADED_RTS) closeCondition(&task->cond); closeMutex(&task->lock); #endif + next = task->next; stgFree(task); } task_free_list = NULL;