From 2cb3922690716f9fb73b4e26953fca9d3465eae7 Mon Sep 17 00:00:00 2001 From: Honza Kral Date: Tue, 27 Sep 2011 14:29:59 +0200 Subject: [PATCH] flush after print Otherwise when writing to a pipe it produces jumbled output. Fixes #17 --- paver/tasks.py | 1 + 1 file changed, 1 insertion(+) diff --git a/paver/tasks.py b/paver/tasks.py index de79255d..c6544b0b 100644 --- a/paver/tasks.py +++ b/paver/tasks.py @@ -67,6 +67,7 @@ def _log(self, level, message, args): def _print(self, output): print output + sys.stdout.flush() def _exit(self, code): sys.exit(1)