config/global.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Wed Aug 11 20:07:18 2010 +0200 (2010-08-11) |
| changeset 2080 |
eefacabd9e72 |
| parent 694 |
1026e9628e59
|
| permissions |
-rw-r--r-- |
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>