From 2eea3bf065be206b06090ac2cbdbb48c0caea735 Mon Sep 17 00:00:00 2001
From: Alejandro Perez <alex.perez-mendez@jisc.ac.uk>
Date: Tue, 25 Jun 2024 12:38:35 +0200
Subject: [PATCH] Use "curl" instead of <get> in order to use the system proxy
 settings

See ukf-meta#439 for details
---
 build.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 9c8d54a..69abe45 100644
--- a/build.xml
+++ b/build.xml
@@ -1259,7 +1259,10 @@
     -->
     <target name="jenkins.triggerjob.publish">
         <echo>Triggering Jenkins publication Job.</echo>
-        <get src="${jenkins.url.to.trigger.publication}" dest="${temp.dir}/get.out"/>
+        <!-- we do not use <get> here because it does not uses system proxy settings -->
+        <exec executable="curl" dir="${output.dir}" failonerror="true">
+            <arg value="${jenkins.url.to.trigger.publication}"/>
+        </exec>
     </target>
 
     <!--