Put the task on the free list in workerTaskStop

diff --git a/rts/Task.c b/rts/Task.c
index 551f137..9aa43c0 100644 (file)
--- a/rts/Task.c
+++ b/rts/Task.c
@@ -251,6 +251,11 @@ workerTaskStop (Task *task)
     taskTimeStamp(task);
     task->stopped = rtsTrue;
     tasksRunning--;
+
+    ACQUIRE_LOCK(&sched_mutex);
+    task->next = task_free_list;
+    task_free_list = task;
+    RELEASE_LOCK(&sched_mutex);
 }
 
 void