Tue Dec 12 07:33:53 PST 2006 Simon Marlow <simonmar at microsoft.com>
* Don't free sched_mutex until freeTaskManager has finished with it
Also move closeMutex() etc. into freeTaskManager, this is a free-ish thing
M ./rts/Schedule.c -1 +3
M ./rts/Task.c -11 +5