X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FRtsStartup.c;fp=ghc%2Frts%2FRtsStartup.c;h=32c73f43c68ace7b501b393bcc7a3fe3ddf2c3b5;hb=71d6db2260d3d5c3395818cd18564193845555e6;hp=faf45967b062a8c28d02a86094f86a290a6e0d66;hpb=acd07df5e2960d02d91717eedbeb681224024216;p=ghc-hetmet.git diff --git a/ghc/rts/RtsStartup.c b/ghc/rts/RtsStartup.c index faf4596..32c73f4 100644 --- a/ghc/rts/RtsStartup.c +++ b/ghc/rts/RtsStartup.c @@ -373,9 +373,8 @@ hs_exit(void) /* stop timing the shutdown, we're about to print stats */ stat_endExit(); - /* clean up things from the storage manager's point of view. - * also outputs the stats (+RTS -s) info. - */ + // clean up things from the storage manager's point of view. + // also outputs the stats (+RTS -s) info. exitStorage(); #ifdef RTS_GTK_FRONTPANEL @@ -398,7 +397,7 @@ hs_exit(void) // during endProfiling(). fclose(prof_file); #endif - + #if defined(TICKY_TICKY) if (RtsFlags.TickyFlags.showTickyStats) PrintTickyInfo(); #endif @@ -406,6 +405,9 @@ hs_exit(void) #if defined(mingw32_HOST_OS) shutdownAsyncIO(); #endif + + // Finally, free all our storage. + freeStorage(); } // Compatibility interfaces