Flush to ensure the file is in readable state if the process dies.

diff --git a/log.cpp b/log.cpp
index bab893fab560ba098ac5cbd48c93cd08a57a73cf..5df0266440b06ab03fc2bcf93a8745b64eb047cf 100644 (file)
--- a/log.cpp
+++ b/log.cpp
@@ -233,6 +233,7 @@ void EndCall(void) {
     Indent(1);
     EndTag("call");
     NewLine();
+    gzflush(g_gzFile, Z_SYNC_FLUSH);
 }
 
 void BeginArg(const char *type, const char *name) {