diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-09-06 05:28:56 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-11-22 13:45:07 -0500 |
| commit | f9f9650e142fc3ec42001b08f81509461a09aa68 (patch) | |
| tree | d160d3c3dfe0ee95f367781a5cc04802f3b4ecd4 /rts/eventlog/EventLog.h | |
| parent | 2f5ed225b78b32c65d023072d78ae5d176e2f04b (diff) | |
| download | haskell-wip/init-eventlogging.tar.gz | |
rts: Expose interface for configuring EventLogWriterswip/init-eventlogging
This exposes a set of interfaces from the GHC API for configuring
EventLogWriters. These can be used by consumers like
[ghc-eventlog-socket](https://github.com/bgamari/ghc-eventlog-socket).
Diffstat (limited to 'rts/eventlog/EventLog.h')
| -rw-r--r-- | rts/eventlog/EventLog.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index 5bd3b5dadb..eca76619cd 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -22,8 +22,10 @@ */ extern char *EventTagDesc[]; -void initEventLogging(const EventLogWriter *writer); -void endEventLogging(void); +extern bool eventlog_enabled; + +void initEventLogging(void); +void restartEventLogging(void); void freeEventLogging(void); void abortEventLogging(void); // #4512 - after fork child needs to abort void flushEventLog(void); // event log inherited from parent |