diff options
author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2021-08-31 16:07:16 +0300 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-15 18:16:14 -0400 |
commit | 88e913d443203376454b5242efa5fff0928992a8 (patch) | |
tree | 0da963e6cbfdb078147cacc3461dd5810c5a27c9 /rts/eventlog | |
parent | 1cda768c86e533c917a495c8de0468960cbe7a52 (diff) | |
download | haskell-88e913d443203376454b5242efa5fff0928992a8.tar.gz |
Null eventlog writer
Diffstat (limited to 'rts/eventlog')
-rw-r--r-- | rts/eventlog/EventLogWriter.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/rts/eventlog/EventLogWriter.c b/rts/eventlog/EventLogWriter.c index 06aad2841e..daa6dc3c9d 100644 --- a/rts/eventlog/EventLogWriter.c +++ b/rts/eventlog/EventLogWriter.c @@ -147,9 +147,30 @@ stopEventLogFileWriter(void) #endif } +static void +initEventLogFileWriterNoop(void) {} + +static bool +writeEventLogFileNoop(void *eventlog STG_UNUSED, size_t eventlog_size STG_UNUSED) { + return true; // writes succeed always +} + +static void +flushEventLogFileNoop(void) {} + +static void +stopEventLogFileWriterNoop(void) {} + const EventLogWriter FileEventLogWriter = { .initEventLogWriter = initEventLogFileWriter, .writeEventLog = writeEventLogFile, .flushEventLog = flushEventLogFile, .stopEventLogWriter = stopEventLogFileWriter }; + +const EventLogWriter NullEventLogWriter = { + .initEventLogWriter = initEventLogFileWriterNoop, + .writeEventLog = writeEventLogFileNoop, + .flushEventLog = flushEventLogFileNoop, + .stopEventLogWriter = stopEventLogFileWriterNoop +}; |