diff options
Diffstat (limited to 'rts/RtsStartup.c')
-rw-r--r-- | rts/RtsStartup.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c index 818fbaa346..bd8e5d5733 100644 --- a/rts/RtsStartup.c +++ b/rts/RtsStartup.c @@ -507,6 +507,10 @@ hs_exit_(bool wait_foreign) // also outputs the stats (+RTS -s) info. exitStorage(); + /* flush and clean up capabilities' eventlog buffers before cleaning up + * scheduler */ + finishCapEventLogging(); + /* free the tasks */ freeScheduler(); |