use tor if everything else failsHEADmaster

1 files changed, 2 insertions, 1 deletions

diff --git a/mirror.php b/mirror.php
index 763bf47..c21aa4e 100644
--- a/mirror.php
+++ b/mirror.php
@@ -80,7 +80,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 - 'https://crux.ster.zone/distfiles/" . basename($quelle) . "'; ".
+        "wget -O - 'https://crux.ster.zone/distfiles/" . basename($quelle) . "' || ".
+        "curl -x socks5://tor.home.eckner.net:9050/ -Ls '".$quelle."' ;" .
         ") | ". // oder curl!
           "tee \"".$pfad."\""
       );