diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-12-16 12:21:46 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-02-27 07:58:57 -0500 |
commit | 98dd09afdebe8d5b6def4c3b11a4c0495df47de4 (patch) | |
tree | cecfb9edd7b797a2f71a0e443309df746f61a81f /compiler/GHC/ThToHs.hs | |
parent | a9f23793126251844944e00bca8e84370c759aa7 (diff) | |
download | haskell-98dd09afdebe8d5b6def4c3b11a4c0495df47de4.tar.gz |
rts: Introduce --eventlog-flush-interval flag
This introduces a flag, --eventlog-flush-interval, which can be used to
set an upper bound on the amount of time for which an eventlog event
will remain enqueued. This can be useful in real-time monitoring
settings.
Diffstat (limited to 'compiler/GHC/ThToHs.hs')
0 files changed, 0 insertions, 0 deletions