diff options
author | Erich Eckner <git@eckner.net> | 2020-06-26 08:35:20 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-06-26 08:35:20 +0200 |
commit | 9df336691c741d120cd5d1a551bdb52f2ddfc325 (patch) | |
tree | 7dd7910e5f1777438cc923e272c453626801cdac | |
parent | 045444dee303d60e74edd8efa28ebc0fbd7907d1 (diff) | |
download | sourceMirror-9df336691c741d120cd5d1a551bdb52f2ddfc325.tar.xz |
only give size if file is already downloaded
-rw-r--r-- | mirror.php | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -74,14 +74,6 @@ } } if (! file_exists($pfad)) { - $size = shell_exec( - "curl -ILs -A 'Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0' '".$quelle."' " . - "| sed '" . - "s/^Content-Length: //;t;d" . - "'" - ); - if (! empty($size)) - header('Content-Length: ' . $size); passthru( "mkdir -p '".dirname($pfad)."'; ". "( ". |