diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-31 07:00:22 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-31 07:00:22 +0200 |
| commit | abedb70a996b87007a0f29076e2c2bc9bed5d1a4 (patch) | |
| tree | 40aae80d18abe2b713a900bf66e6958a310dc4b6 | |
| parent | 749f512980e7742aa34d6451de7a2c1936991229 (diff) | |
| download | sourceMirror-abedb70a996b87007a0f29076e2c2bc9bed5d1a4.tar.xz | |
mirror.php: first try with normal user-agent
| -rw-r--r-- | mirror.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -70,6 +70,7 @@ passthru( "mkdir -p '".dirname($pfad)."'; ". "( ". + "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."'; ". ") | ". // oder curl! |