FIX: #1227 (biographical profiling broken)

We were freeing the hash table storage with exitHashTable() before
calling endProfiling(), which uses hash tables.

diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c
index 1d0fec5..f0b39d6 100644 (file)
--- a/rts/RtsStartup.c
+++ b/rts/RtsStartup.c
@@ -459,9 +459,6 @@ hs_exit(void)
     freeThreadLabelTable();
 #endif
 
-    /* free hash table storage */
-    exitHashTable();
-
 #ifdef RTS_GTK_FRONTPANEL
     if (RtsFlags.GcFlags.frontpanel) {
        stopFrontPanel();
@@ -489,6 +486,9 @@ hs_exit(void)
     shutdownAsyncIO();
 #endif
 
+    /* free hash table storage */
+    exitHashTable();
+
     // Finally, free all our storage
     freeStorage();