diff options
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 |