(PHP 4, PHP 5, PHP 7, PHP 8)
gzgets — Get line from file pointer
$stream
, int|null $length = null
) : string|falseGets a (uncompressed) string of up to length - 1 bytes read from the given file pointer. Reading ends when length - 1 bytes have been read, on a newline, or on EOF (whichever comes first).
streamThe gz-file pointer. It must be valid, and must point to a file successfully opened by gzopen().
lengthThe length of data to get.
The uncompressed string, or false on error.
| 版本 | 说明 |
|---|---|
| 8.0.0 |
length is nullable now;
previously, the default was 1024.
|
示例 #1 gzgets() example
<?php
$handle = gzopen('somefile.gz', 'r');
while (!gzeof($handle)) {
$buffer = gzgets($handle, 4096);
echo $buffer;
}
gzclose($handle);
?>