catch SIGTSTP and save/restore terminal settings (#4460)

[ghc-hetmet.git] / rts / eventlog / EventLog.h

diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h
index 0f31509..7dc249d 100644 (file)
--- 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