diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-08-11 18:07:18 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-08-11 18:07:18 (GMT) |
| commit | bb831ed28f9a79355ff2078a4a7ab0f54b825118 (patch) | |
| tree | 7422cbc3b1eb002259cc7110690f78a7b9cdf75f /.version | |
| parent | d46cb2c97ec448ca411bc897a55efe70e690cc2c (diff) | |
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)
Diffstat (limited to '.version')
0 files changed, 0 insertions, 0 deletions