changeset 711:c8f0898aff9d

Flush output when downloading files.
author Martin Geisler <mg@daimi.au.dk>
date Wed, 23 Apr 2008 10:15:17 +0200
parents 1828e5150bd1
children 9aebdc00f58f
files run.py
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/run.py	Wed Apr 23 10:10:20 2008 +0200
+++ b/run.py	Wed Apr 23 10:15:17 2008 +0200
@@ -108,7 +108,8 @@
     # the website repository, and ship them as INSTALL and AUTHORS.
     for filename in ('install.txt', 'authors.txt'):
         url = 'http://hg.viff.dk/viff.dk/raw-file/tip/%s' % filename
-        print "Fetching %s" % url,
+        print "Fetching %s..." % url,
+        sys.stdout.flush()
         urlretrieve(url, filename[:-4].upper())
         print "done."