From 24164615c579b7f055fd9334a7548bed63045cdb Mon Sep 17 00:00:00 2001
From: Simon Pigot <Simon.Pigot@csiro.au>
Date: Sun, 22 Jun 2014 22:06:47 +1000
Subject: [PATCH] Restore slow installer build.xml

---
 installer/build.xml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/installer/build.xml b/installer/build.xml
index 01d83ded9f5..cb2593cab86 100644
--- a/installer/build.xml
+++ b/installer/build.xml
@@ -32,7 +32,7 @@
 	<property name="propsdir" value="../.props" />
 	<property name="ant.build.javac.target" value="1.5"/>
 	<property name="debugOn" value="on"/> <!-- on off true false yes no -->
-    <property name="thesaurusUrl" value="/var/tmp" />
+    <property name="thesaurusUrl" value="https://raw.github.com/geonetwork/util-gemet/master/thesauri" />
 
 	<!-- =================================================================================== -->
 	
@@ -49,14 +49,14 @@
     <target name="thesaurusDownload">
         <mkdir	dir ="../web/target/thesauri" />
 
-        <copy file="${thesaurusUrl}/gemet.rdf"
-        	toFile="../web/target/thesauri/gemet.rdf"/>
+        <get src="${thesaurusUrl}/gemet.rdf"
+        	dest="../web/target/thesauri/gemet.rdf" usetimestamp="true" />
 
-        <copy file="${thesaurusUrl}/inspire-service-taxonomy.rdf"
-             toFile="../web/target/thesauri/inspire-service-taxonomy.rdf"/>
+        <get src="${thesaurusUrl}/inspire-service-taxonomy.rdf"
+             dest="../web/target/thesauri/inspire-service-taxonomy.rdf" usetimestamp="true" />
 
-         <copy file="${thesaurusUrl}/inspire-theme.rdf"
-             toFile="../web/target/thesauri/inspire-theme.rdf"/>
+         <get src="${thesaurusUrl}/inspire-theme.rdf"
+             dest="../web/target/thesauri/inspire-theme.rdf" usetimestamp="true" />
     </target>
 
     <target name="inspireDbSettings">