# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1281550038 -7200
# Node ID eefacabd9e72f3d578e5dc5908026ed780f9a240
# Parent  d2ceb140371d32029afde78dcf877d8ac7b11596
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>

diff -r d2ceb140371d -r eefacabd9e72 scripts/functions
--- a/scripts/functions	Wed Aug 11 19:13:10 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