summaryrefslogtreecommitdiff
path: root/mirror.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-05-15 08:42:46 +0200
committerErich Eckner <git@eckner.net>2022-05-15 08:42:46 +0200
commit7124937abf13412f5ce81822f49628b84b55d406 (patch)
tree46b88ba22637776ae9545a579f24bf1eae075e12 /mirror.php
parent08d5a11a0806713ead3c0928123c3ceb0c296d18 (diff)
downloadsourceMirror-master.tar.xz
use tor if everything else failsHEADmaster
Diffstat (limited to 'mirror.php')
-rw-r--r--mirror.php3
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."\""
);