# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1454651355 28800
# Node ID a2d9ef307a089888a8856bd495dcb9e9b1c25399
# Parent  e2e955a3bb259743b22cc14cf8aea4db7298d732
publish: Make the `shell` log update faster by flushing the pipe.

diff -r e2e955a3bb25 -r a2d9ef307a08 piecrust/publishing/shell.py
--- a/piecrust/publishing/shell.py	Thu Feb 04 08:05:03 2016 -0800
+++ b/piecrust/publishing/shell.py	Thu Feb 04 21:49:15 2016 -0800
@@ -60,6 +60,7 @@
             sys.stdout.flush()
             if self.log_fp:
                 self.log_fp.write(line_str)
+                self.log_fp.flush()
 
         self.proc.communicate()
         logger.debug("Publish monitor exiting.")