2 files changed, 3 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c
index e3597cd73c..11e8a5e0b6 100644
--- a/rts/eventlog/EventLog.c
+++ b/rts/eventlog/EventLog.c
@@ -1484,6 +1484,7 @@ void printAndClearEventBuf (EventsBuf *ebuf)
                     "printAndClearEventLog: could not flush event log\n"
                 );
             resetEventsBuf(ebuf);
+            flushEventLog();
             return;
         }
 
diff --git a/rts/eventlog/EventLogWriter.c b/rts/eventlog/EventLogWriter.c
index 5387f932eb..047c211db4 100644
--- a/rts/eventlog/EventLogWriter.c
+++ b/rts/eventlog/EventLogWriter.c
@@ -122,6 +122,8 @@ writeEventLogFile(void *eventlog, size_t eventlog_size)
         begin += written;
     }
     release_event_log_lock();
+
+    flushEventLogFile ();
     return true;
 }