viff

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 diff
     1.1 --- a/run.py	Wed Apr 23 10:10:20 2008 +0200
     1.2 +++ b/run.py	Wed Apr 23 10:15:17 2008 +0200
     1.3 @@ -108,7 +108,8 @@
     1.4      # the website repository, and ship them as INSTALL and AUTHORS.
     1.5      for filename in ('install.txt', 'authors.txt'):
     1.6          url = 'http://hg.viff.dk/viff.dk/raw-file/tip/%s' % filename
     1.7 -        print "Fetching %s" % url,
     1.8 +        print "Fetching %s..." % url,
     1.9 +        sys.stdout.flush()
    1.10          urlretrieve(url, filename[:-4].upper())
    1.11          print "done."
    1.12