Restarting event log results in invalid output
Currently if one calls endEventLogging()
, followed by beginEventLogging()
, the eventlog that results has block markers before the header, rendering the output unreadable to ghc-events
. The problem is that endEventLogging()
calls printAndClearEventsBuf(&eventBuf)
, which posts a marker after flushing the buffer. postHeaderEvents()
then fails to clear this marker before posting the header.
The solution seems clear: call resetEventsBuf()
in either endEventLogging()
or postHeaderEvents()
.