mirror.php: delete 0-length files *before* handing them out

1 files changed, 6 insertions, 0 deletions

diff --git a/mirror.php b/mirror.php
index 55f18e8..82fd4ae 100644
--- a/mirror.php
+++ b/mirror.php
@@ -66,6 +66,12 @@
     fwrite($al,date('Y-m-d H:i:s')." ".$pfad."\n");
     fclose($al);
 
+    if (file_exists($pfad)) {
+      $stat = stat($pfad);
+      if ($stat['size'] == 0)
+        unlink($pfad);
+    }
+
     if (! file_exists($pfad)) {
       passthru(
         "mkdir -p '".dirname($pfad)."'; ".