From 52f690b79752f0136e8f3fad1802f94dcdfde5e2 Mon Sep 17 00:00:00 2001
From: Yegor Yarko <yegor.yarko@jetbrains.com>
Date: Thu, 24 Apr 2014 18:26:02 +0200
Subject: [PATCH] Do not delete the target directory, delete its content
 instead.

---
 download-file/MRPP_DownloadFile.xml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/download-file/MRPP_DownloadFile.xml b/download-file/MRPP_DownloadFile.xml
index 71117f6..6cc875c 100644
--- a/download-file/MRPP_DownloadFile.xml
+++ b/download-file/MRPP_DownloadFile.xml
@@ -23,7 +23,7 @@
   <matches pattern="true" string="${clean.dest.dir}"/>
 </condition>
 
-<target name="getFile" depends="clean-dest-dir, create-dest-dir">
+<target name="getFile" depends="create-dest-dir, clean-dest-dir">
 
 <get src="${url}" dest="${dest.dir}"
      username="${username}" 
@@ -37,7 +37,9 @@
 </target>
 
 <target name="clean-dest-dir" if="clean.dest.dir.set">
-<delete dir="${dest.dir}"/>
+  <delete includeemptydirs="true">
+    <fileset dir="${dest.dir}" includes="**/*"/>
+  </delete>
 </target>