Description: Remove empty files from failed downloads.
Author: Johann Felix Soden <johfel@gmx.de>

---
 ketchup |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

--- a/ketchup
+++ b/ketchup
@@ -449,6 +449,12 @@
             error("wget terminated by signal.")
             sys.exit(1)
         if e:
+            try:
+                # remove empty files
+                if os.path.getsize(f+".partial")==0:
+                    os.unlink(f+".partial")
+            except OSError:
+                pass
             return None
         os.rename(f + ".partial", f)
     return 1
