Don't free sched_mutex until freeTaskManager has finished with it
authorSimon Marlow <simonmar@microsoft.com>
Tue, 12 Dec 2006 15:33:53 +0000 (15:33 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Tue, 12 Dec 2006 15:33:53 +0000 (15:33 +0000)
commit6ffb1cec5bc6fcc834547fc456322d2eb2418ff6
tree08aa52cd1a785a47a321a6fe1a707dc0c7ecf752
parent55476c33f7389b8d0d8def117b3b2c5833663a79
Don't free sched_mutex until freeTaskManager has finished with it
Also move closeMutex() etc. into freeTaskManager, this is a free-ish thing
rts/Schedule.c
rts/Task.c