diff options
author | Erich Eckner <git@eckner.net> | 2020-06-22 11:43:12 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-06-22 11:43:12 +0200 |
commit | 045444dee303d60e74edd8efa28ebc0fbd7907d1 (patch) | |
tree | c6d6ba6a6cfc1dba21571aafab0d0988da5d3ae7 /mirror.php | |
parent | 521a03a54080c4a1915ce672107f93cf0177eab4 (diff) | |
download | sourceMirror-045444dee303d60e74edd8efa28ebc0fbd7907d1.tar.xz |
mirror.php: give estimate of size in Header
Diffstat (limited to 'mirror.php')
-rw-r--r-- | mirror.php | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -74,6 +74,14 @@ } } 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)."'; ". "( ". @@ -85,6 +93,7 @@ ); } else { + header('Content-Length: ' . $stat['size']); $handle = fopen($pfad); fpassthru($handle); fclose($handle); |