.version
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Wed Aug 11 20:07:18 2010 +0200 (2010-08-11) |
| branch | 1.8 |
| changeset 2092 |
18da1aa1beab |
| parent 2057 |
8398f0469d6a
|
| child 2093 |
7d29f05a7f03 |
| 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>
(transplanted from eefacabd9e72f3d578e5dc5908026ed780f9a240)