library: Deinit p11_virtual_mutex

Follow-up fix for commit 4d228aa0, which forgot to clear
p11_virtual_mutex on library finalization.

diff --git a/common/library.c b/common/library.c
index 39a9c466e4372d0eff7169bd5e0e11c84ab29114..effb3a6b635b49f96f49c2eb30a768e4d3f998e6 100644 (file)
--- a/common/library.c
+++ b/common/library.c
@@ -144,6 +144,7 @@ p11_library_uninit (void)
 
        p11_message_storage = dont_store_message;
        pthread_key_delete (thread_local);
+       p11_mutex_uninit (&p11_virtual_mutex);
        p11_mutex_uninit (&p11_library_mutex);
 }