diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-12-16 12:21:46 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-16 13:51:01 -0500 |
| commit | 02bc4b4f1a4fe07a46018738e7e12ec861aaf3df (patch) | |
| tree | 4f289e9a4d3f608aeff18722787f67738f86e075 /includes/rts/Flags.h | |
| parent | b58cb63afd3353beb3a6e11ba7fa557fdedb8941 (diff) | |
| download | haskell-wip/eventlog-flush-interval.tar.gz | |
rts: Introduce --eventlog-flush-interval flagwip/eventlog-flush-interval
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 'includes/rts/Flags.h')
| -rw-r--r-- | includes/rts/Flags.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/rts/Flags.h b/includes/rts/Flags.h index 35b45b0940..b56cf223b7 100644 --- a/includes/rts/Flags.h +++ b/includes/rts/Flags.h @@ -178,6 +178,8 @@ typedef struct _TRACE_FLAGS { bool sparks_full; /* trace spark events 100% accurately */ bool ticky; /* trace ticky-ticky samples */ bool user; /* trace user events (emitted from Haskell code) */ + Time eventlogFlushTime; /* Time between force eventlog flushes (or 0 if disabled) */ + int eventlogFlushTicks; char *trace_output; /* output filename for eventlog */ } TRACE_FLAGS; |