mirror.php: ignore stat===false

1 files changed, 4 insertions, 3 deletions

diff --git a/mirror.php b/mirror.php
index 61f81f9..194df0e 100644
--- a/mirror.php
+++ b/mirror.php
@@ -68,10 +68,11 @@
 
     if (file_exists($pfad)) {
       $stat = stat($pfad);
-      if ($stat['size'] == 0)
-        unlink($pfad);
+      if ($stat !== false) {
+        if ($stat['size'] == 0)
+          unlink($pfad);
+      }
     }
-
     if (! file_exists($pfad)) {
       passthru(
         "mkdir -p '".dirname($pfad)."'; ".