Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-21 15:49:04 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #5122 : aweinstock314/servo/master, r=kmcallister

Browse source 
...t based on sys.stdout.isatty() (Issue #5043).
This commit is contained in:
bors-servo 2015-03-02 20:18:49 -07:00
commit 315a2349e8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/bootstrap_commands.py
View file

@ -38,7 +38,7 @@ def download(desc, src, dst):
sys.stdout.flush()
print("Downloading %s..." % desc)
dumb = os.environ.get("TERM") == "dumb"
dumb = (os.environ.get("TERM") == "dumb") or (not sys.stdout.isatty())
PanickyUrlOpener().retrieve(src, dst, None if dumb else report)
if not dumb:
print()