Yann E. MORIN" c20e01d094 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.
2010-01-01 17:09:52 +01:00
..
2009-11-22 11:36:41 +01:00
2009-10-30 20:08:44 +01:00
2009-05-13 18:10:47 +00:00
2009-08-02 16:45:43 +02:00