diff mxtool/mx.py @ 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 e065b9746246
children 2022366b513c
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')