# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1401098490 -7200
# Node ID a9781031ecf15b48ef216258db220c5dc36f9008
# Parent  09f3fe2736405660f6f49740e4376366bb60e5e5
mx: use python downloader if stderr is not a tty to avoid spamming logs

diff -r 09f3fe273640 -r a9781031ecf1 mxtool/mx.py
--- 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')