2010-05-29 Robert Jordan <robertj@gmx.net>

[mono.git] / mono / metadata / mono-debug.c

diff --git a/mono/metadata/mono-debug.c b/mono/metadata/mono-debug.c
index a1767f01076066a3011837438d5b5032d185ff2a..89305e8af696e1ac951f546577da0fb186855e20 100644 (file)
--- a/mono/metadata/mono-debug.c
+++ b/mono/metadata/mono-debug.c
@@ -291,8 +291,13 @@ mono_debug_cleanup (void)
                data_table_hash = NULL;
        }
 
-       g_free (mono_symbol_table);
-       mono_symbol_table = NULL;
+       if (mono_symbol_table) {
+               if (mono_symbol_table->global_data_table)
+                       free_data_table (mono_symbol_table->global_data_table);
+
+               g_free (mono_symbol_table);
+               mono_symbol_table = NULL;
+       }
 }
 
 void