# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1360768895 -3600
# Node ID 2865133eeef20856055778c9399d354eb38be74c
# Parent  8bbbde9d0a52e280492a375327264bfb80a43ae0
mx: When doanload fails using Java, try using python
mx: Update jdt compiler preferences if it is outdates

diff -r 8bbbde9d0a52 -r 2865133eeef2 mxtool/mx.py
--- a/mxtool/mx.py	Wed Feb 13 13:34:05 2013 +0100
+++ b/mxtool/mx.py	Wed Feb 13 16:21:35 2013 +0100
@@ -1168,7 +1168,7 @@
         javaClass = join(myDir, 'URLConnectionDownload.class')
         if not exists(javaClass) or getmtime(javaClass) < getmtime(javaSource):
             subprocess.check_call([java().javac, '-d', myDir, javaSource])
-        if run([java().java, '-cp', myDir, 'URLConnectionDownload', path] + urls) == 0:
+        if run([java().java, '-cp', myDir, 'URLConnectionDownload', path] + urls, nonZeroIsFatal=False) == 0:
             return
 
     def url_open(url):
@@ -1436,7 +1436,8 @@
                          '-cp', cp, '-g', '-enableJavadoc',
                          '-d', outputDir] + javacArgs
                 jdtProperties = join(p.dir, '.settings', 'org.eclipse.jdt.core.prefs')
-                if not exists(jdtProperties):
+                rootJdtProperties = join(p.suite.dir, 'mx', 'eclipse-settings', 'org.eclipse.jdt.core.prefs')
+                if not exists(jdtProperties) or os.path.getmtime(jdtProperties) < os.path.getmtime(rootJdtProperties):
                     # Try to fix a missing properties file by running eclipseinit
                     eclipseinit([], buildProcessorJars=False)
                 if not exists(jdtProperties):