diff options
Diffstat (limited to 'python/servo/bootstrap_commands.py')
| -rw-r--r-- | python/servo/bootstrap_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/bootstrap_commands.py b/python/servo/bootstrap_commands.py index cca2589b52c..68edbdd38c8 100644 --- a/python/servo/bootstrap_commands.py +++ b/python/servo/bootstrap_commands.py @@ -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() |