diff main/main.cpp @ 573:0b094b0fdcc4

Clean up more tidily on exit
author Chris Cannam
date Thu, 16 May 2013 14:05:21 +0100
parents 451d3c087112
children 31940304272f 09c8195c371d
line wrap: on
line diff
--- a/main/main.cpp	Wed May 15 22:15:58 2013 +0100
+++ b/main/main.cpp	Thu May 16 14:05:21 2013 +0100
@@ -445,6 +445,8 @@
 
     delete gui;
 
+    cleanupMutex.unlock();
+
     return rv;
 }