From 31e575401080b381a6132d3835db54e5e7b3d121 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 14 Apr 2020 09:38:33 +0200
Subject: mirror.php: ignore stat===false

---
 mirror.php | 7 ++++---
 1 file 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)."'; ".
-- 
cgit v1.2.3-70-g09d2