LICENSES
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Fri Jan 01 17:09:52 2010 +0100 (2010-01-01) |
| changeset 1673 |
ecb7fcc4edb0 |
| permissions |
lrwxrwxrwx |
scripts/functions: fix downloading with aria2
In case the remote file does not exist (and probably for some
other reasons as well), aria2 nonetheless creates an empty file
(or not empty for some other reasons).
The solution is to delete the file whenever aria2 fails.