diff options
author | Esa Ilari Vuokko <ei@vuokko.info> | 2006-08-23 19:46:04 +0000 |
---|---|---|
committer | Esa Ilari Vuokko <ei@vuokko.info> | 2006-08-23 19:46:04 +0000 |
commit | 88b35c172f9434fd98b700f706074d142914a8bb (patch) | |
tree | 69dad172652bfbb112ab2ef8afc964c0112b662b /rts/Schedule.c | |
parent | 52589e05f86d593bc3e6ea3f1a0b8f6ceae94fe6 (diff) | |
download | haskell-88b35c172f9434fd98b700f706074d142914a8bb.tar.gz |
Add closeMutex and use it on clean up
Diffstat (limited to 'rts/Schedule.c')
-rw-r--r-- | rts/Schedule.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Schedule.c b/rts/Schedule.c index b9b4325c0f..49e25be329 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -2584,6 +2584,7 @@ exitScheduler( void ) boundTaskExiting(task); stopTaskManager(); } + closeMutex(&sched_mutex); #endif } |