# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1281550038 -7200
# Node ID 18da1aa1beabbe3b39e8e529e7603ae59b18b494
# Parent  9a030e69fbde44c5bda8f1188d7986de341f5a60
scripts: in case of failed download, remove partial files

It happens from time to time that the server mis-behaves, and breaks the
connection right in the middle of nowhere, for no good reason, leaving us
with a partial file, on which the extract pass would choke.

Remove partial downloads, to fail early.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from eefacabd9e72f3d578e5dc5908026ed780f9a240)

diff -r 9a030e69fbde -r 18da1aa1beab scripts/functions
--- a/scripts/functions	Wed Aug 11 20:05:05 2010 +0200
+++ b/scripts/functions	Wed Aug 11 20:07:18 2010 +0200
@@ -363,7 +363,7 @@
     # connecting, so force a global ${CT_CONNECT_TIMEOUT}-second timeout.
     CT_DoExecLog ALL wget -T ${CT_CONNECT_TIMEOUT} -nc --progress=dot:binary --tries=3 --passive-ftp "$1"    \
     || CT_DoExecLog ALL wget -T ${CT_CONNECT_TIMEOUT} -nc --progress=dot:binary --tries=3 "$1"               \
-    || true
+    || rm -f "${1##*/}"
 }
 
 # Download an URL using curl
@@ -374,7 +374,7 @@
     #       so, be silent.
     CT_DoExecLog ALL curl -s --ftp-pasv -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f  \
     || CT_DoExecLog ALL curl -s -O --retry 3 "$1" --connect-timeout ${CT_CONNECT_TIMEOUT} -L -f          \
-    || true
+    || rm -f "${1##*/}"
 }
 
 # Download using aria2