diff options
Diffstat (limited to 'rts/eventlog/EventLogWriter.c')
| -rw-r--r-- | rts/eventlog/EventLogWriter.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/eventlog/EventLogWriter.c b/rts/eventlog/EventLogWriter.c index 4b486926a7..b19e617a4c 100644 --- a/rts/eventlog/EventLogWriter.c +++ b/rts/eventlog/EventLogWriter.c @@ -122,6 +122,7 @@ stopEventLogFileWriter(void) { if (event_log_file != NULL) { fclose(event_log_file); + event_log_file = NULL; } } |