commit 2009c4ed4d2069b0727827a0d47133e24a6146fc
author Daniel Veillard <veillard@src.gnome.org> Tue Jul 15 20:04:34 2003 +0000
committer Daniel Veillard <veillard@src.gnome.org> Tue Jul 15 20:04:34 2003 +0000
tree 6f46fdcaf1e5b31e310db0959d9e86028aa35962
parent 34ba38793669da505d735e76794253b23dec447c

add xmlThrDefMutex = NULL in xmlCleanupGlobals() as suggested by Rob

* globals.c: add xmlThrDefMutex = NULL in xmlCleanupGlobals()
  as suggested by Rob Richards
Daniel

globals.c

diff --git a/globals.c b/globals.c
index 811160f..9c1b1d2 100644
--- a/globals.c
+++ b/globals.c
@@ -46,8 +46,10 @@
 
 void xmlCleanupGlobals()
 {
-    if (xmlThrDefMutex != NULL)
+    if (xmlThrDefMutex != NULL) {
 	xmlFreeMutex(xmlThrDefMutex);
+	xmlThrDefMutex = NULL;
+    }
 }
 
 /************************************************************************