diff options
Diffstat (limited to 'rts/RtsStartup.c')
| -rw-r--r-- | rts/RtsStartup.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c index ce0fa2d519..d0d08a2495 100644 --- a/rts/RtsStartup.c +++ b/rts/RtsStartup.c @@ -392,7 +392,8 @@ hs_exit_(bool wait_foreign) ioManagerDie(); #endif - /* stop all running tasks */ + /* stop all running tasks. This is also where we stop concurrent non-moving + * collection if it's running */ exitScheduler(wait_foreign); /* run C finalizers for all active weak pointers */ @@ -436,9 +437,6 @@ hs_exit_(bool wait_foreign) /* shutdown the hpc support (if needed) */ exitHpc(); - /* wait for any on-going concurrent GC to finish */ - nonmovingExit(); - // clean up things from the storage manager's point of view. // also outputs the stats (+RTS -s) info. exitStorage(); |