From 9029afc77b168028d0573a80ccc9a192d776a08a Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Fri, 13 Dec 2024 12:18:07 +0100
Subject: [PATCH 1/3] Retry the failing ant download at least a few times

Fixes #884
---
 app/build.xml | 38 +++++++++++++++++++++-----------------
 1 file changed, 21 insertions(+), 17 deletions(-)

diff --git a/app/build.xml b/app/build.xml
index c48adeb02d..a687a08ef4 100644
--- a/app/build.xml
+++ b/app/build.xml
@@ -28,23 +28,27 @@
   </condition>
 
   <target name="download-ant" unless="ant.present">
-    <get src="${ant.url}" dest="${ant.zip}"
-         ignoreerrors="${ant.ignorable}"
-         usetimestamp="true" />
-
-    <property name="ant.zip.prefix" value="apache-ant-${ant.version.num}/lib" />
-
-    <unzip src="${ant.zip}" dest="lib">
-      <patternset>
-        <!-- unzip a single jar from the ant.zip.prefix subdirectory in the .zip -->
-        <include name="${ant.zip.prefix}/ant.jar" />
-        <include name="${ant.zip.prefix}/ant-launcher.jar" />
-      </patternset>
-      <mapper>
-        <!-- remove the ant.zip.prefix from the path when saving the .jar -->
-        <globmapper from="${ant.zip.prefix}/*" to="*" />
-      </mapper>
-    </unzip>
+    <retry retrycount="3" retrydelay="5000">
+      <sequential>
+        <get src="${ant.url}" dest="${ant.zip}"
+             ignoreerrors="${ant.ignorable}"
+             usetimestamp="true" />
+    
+        <property name="ant.zip.prefix" value="apache-ant-${ant.version.num}/lib" />
+    
+        <unzip src="${ant.zip}" dest="lib">
+          <patternset>
+            <!-- unzip a single jar from the ant.zip.prefix subdirectory in the .zip -->
+            <include name="${ant.zip.prefix}/ant.jar" />
+            <include name="${ant.zip.prefix}/ant-launcher.jar" />
+          </patternset>
+          <mapper>
+            <!-- remove the ant.zip.prefix from the path when saving the .jar -->
+            <globmapper from="${ant.zip.prefix}/*" to="*" />
+          </mapper>
+        </unzip>
+      </sequential>
+    </retry>
     <delete file="${ant.zip}" />
   </target>
 

From 88ee9f108b26ec9de721386079cd43eb73e09ae6 Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Fri, 13 Dec 2024 12:20:00 +0100
Subject: [PATCH 2/3] Update todo.txt

---
 todo.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/todo.txt b/todo.txt
index e23bdbcfe9..543c9dd198 100755
--- a/todo.txt
+++ b/todo.txt
@@ -1,4 +1,4 @@
-1294 (4.3.1)
+1295 (4.3.2)
 ^^^^^^^^^^^^
 NOTE: The first line in this file is the source for the current
 revision of Processing for the build system.

From a6ef5eb5246892438023a637c403878739c3169e Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Fri, 13 Dec 2024 12:33:17 +0100
Subject: [PATCH 3/3] Update build.xml

---
 app/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/build.xml b/app/build.xml
index a687a08ef4..5ca75a8776 100644
--- a/app/build.xml
+++ b/app/build.xml
@@ -28,7 +28,7 @@
   </condition>
 
   <target name="download-ant" unless="ant.present">
-    <retry retrycount="3" retrydelay="5000">
+    <retry retrycount="5" retrydelay="10000">
       <sequential>
         <get src="${ant.url}" dest="${ant.zip}"
              ignoreerrors="${ant.ignorable}"