JAL-1791 add explicit proxy for benefit of jalview's build server when timestamping...

diff --git a/build.xml b/build.xml
index 2004335..6b5fead 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -371,7 +371,7 @@
   
   <target name="-jarsignwithtsa" depends="makedist,preparejnlp" if="timestamp">
     <signjar storepass="${jalview.keystore.pass}" keypass="${jalview.key.pass}" keystore="${jalview.keystore}" alias="${jalview.key}" lazy="false" verbose="false" sigalg="SHA1withRSA"
-      tsaurl="${jalview.tsaurl}">
+      tsaproxyhost="squid" tsaproxyport="80" tsaurl="${jalview.tsaurl}">
       <fileset dir="${packageDir}">
         <include name="*.jar" />
       </fileset>