diff options
author | Dmitry Astapov <dastapov@gmail.com> | 2010-12-03 13:39:50 +0000 |
---|---|---|
committer | Dmitry Astapov <dastapov@gmail.com> | 2010-12-03 13:39:50 +0000 |
commit | c50bc4658e3801442b4581bd1d9a19f67567cdda (patch) | |
tree | bf3cd0dd7431bac982f21a8aaee3121d8a9ebef5 /rts/eventlog/EventLog.h | |
parent | 75cd9c50ea68a5e426e3105735713b8015d63413 (diff) | |
download | haskell-c50bc4658e3801442b4581bd1d9a19f67567cdda.tar.gz |
Fixes for #4512: EventLog.c - provides ability to terminate event logging, Schedule.c - uses them in forkProcess.
Diffstat (limited to 'rts/eventlog/EventLog.h')
-rw-r--r-- | rts/eventlog/EventLog.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index 0f31509e68..7dc249d35d 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -24,6 +24,8 @@ extern char *EventTagDesc[]; void initEventLogging(void); void endEventLogging(void); void freeEventLogging(void); +void abortEventLogging(void); // #4512 - after fork child needs to abort +void flushEventLog(void); // event log inherited from parent /* * Post a scheduler event to the capability's event buffer (an event |