Add closeMutex and use it on clean up

[ghc-hetmet.git] / rts / Schedule.c

diff --git a/rts/Schedule.c b/rts/Schedule.c
index b9b4325..49e25be 100644 (file)
--- a/rts/Schedule.c
+++ b/rts/Schedule.c
@@ -2584,6 +2584,7 @@ exitScheduler( void )
        boundTaskExiting(task);
        stopTaskManager();
     }
+    closeMutex(&sched_mutex);
 #endif
 }