mirror.php: use crux.ster.zone as fallback

1 files changed, 2 insertions, 1 deletions

diff --git a/mirror.php b/mirror.php
index 5a0daf2..08f0ca6 100644
--- a/mirror.php
+++ b/mirror.php
@@ -79,7 +79,8 @@
         "( ".
         "curl -Ls '".$quelle."' || ".
         "curl -Ls -A 'Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0' '".$quelle."' || ".
-        "wget -O - '".$quelle."'; ".
+        "wget -O - '".$quelle."' || " .
+        "wget -O - 'https://crux.ster.zone/distfiles/" . basename($quelle) . "'; ".
         ") | ". // oder curl!
           "tee \"".$pfad."\""
       );