From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 7 Feb 2008 23:40:12 +0000 (+0000)
Subject: Flush the journal on journal_write
X-Git-Tag: sav-api~1134
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c02bf21b2dfed21e2ff8648b388fa016a6797b63;p=pspp

Flush the journal on journal_write
---

diff --git a/src/output/ChangeLog b/src/output/ChangeLog
index 0073124e73..b1928b970b 100644
--- a/src/output/ChangeLog
+++ b/src/output/ChangeLog
@@ -1,3 +1,8 @@
+2008-02-08  John Darrington <john@darrington.wattle.id.au>	
+
+	* journal.c: (journal_write) flush the stream on writes.
+	Useful for discovering syntax which causes a crash.
+
 2007-09-25  Ben Pfaff  <blp@gnu.org>
 
 	Patch #6210.  Reviewed by John Darrington.
diff --git a/src/output/journal.c b/src/output/journal.c
index 33fbaf2b74..ef50285ea4 100644
--- a/src/output/journal.c
+++ b/src/output/journal.c
@@ -98,4 +98,5 @@ journal_write (bool prefix, const char *line)
   fputs (line, journal_file);
   if (strchr (line, '\n') == NULL)
     putc ('\n', journal_file);
+  fflush (journal_file);
 }