changeset 15905:a9781031ecf1

mx: use python downloader if stderr is not a tty to avoid spamming logs
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 26 May 2014 12:01:30 +0200
parents 09f3fe273640
children 5f692474fba3
files mxtool/mx.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/mxtool/mx.py	Thu May 22 20:36:31 2014 +0200
+++ b/mxtool/mx.py	Mon May 26 12:01:30 2014 +0200
@@ -1887,7 +1887,7 @@
         os.makedirs(d)
 
 
-    if not path.endswith(os.sep):
+    if sys.stderr.isatty() and not path.endswith(os.sep):
         # Try it with the Java tool first since it can show a progress counter
         myDir = dirname(__file__)
         javaSource = join(myDir, 'URLConnectionDownload.java')