diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-03-02 20:18:49 -0700 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-03-02 20:18:49 -0700 |
| commit | 315a2349e8e0064be3d8ba1ab42cdd38ff3451a7 (patch) | |
| tree | 5eefd7472eddcd7e72b77b677833df354d46f3e7 | |
| parent | ac4a690e8fa98da4e4f7adbc2d888a94c6d99e0e (diff) | |
| parent | 534c91d08316d92a218ed7448fce0be12b11d4df (diff) | |
| download | servo-315a2349e8e0064be3d8ba1ab42cdd38ff3451a7.tar.gz servo-315a2349e8e0064be3d8ba1ab42cdd38ff3451a7.zip | |
auto merge of #5122 : aweinstock314/servo/master, r=kmcallister
...t based on sys.stdout.isatty() (Issue #5043).
| -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() |