Edit report at https://bugs.php.net/bug.php?id=48421&edit=1
ID: 48421
Patch added by: crezasgov@aol.com
Reported by: ryan dot brothers at gmail dot com
Summary: stream_get_line() - allow $length to be optional
Status: Open
Type: Feature/Change Request
Package: Streams related
Operating System: Irrelevant
PHP Version: Any
Block user comment: N
Private report: N
New Comment:
The following pull request has been associated:
Patch Name: Prepare for longer commit hashes
On GitHub: https://github.com/php/web-windows/pull/24
Patch: https://github.com/php/web-windows/pull/24.patch
Previous Comments:
------------------------------------------------------------------------
[2022-05-06 10:39:52] crezasgov at aol dot com
The following pull request has been associated:
Patch Name: Patch download link directly from cron mails
On GitHub: https://github.com/php/web-doc-editor/pull/9
Patch: https://github.com/php/web-doc-editor/pull/9.patch
------------------------------------------------------------------------
[2021-04-08 11:15:29] cmb@php.net
But still you like that parameter to be optional. Okay, that is not unreasonable.
------------------------------------------------------------------------
[2021-04-04 12:23:39] ryan dot brothers at gmail dot com
Yes, using PHP_INT_MAX is how I've worked around it for now.
------------------------------------------------------------------------
[2021-04-01 15:34:28] cmb@php.net
I've updated the docs accordingly[1].
Anyhow, wouldn't passing PHP_INT_MAX as $length solve that problem
for all practical purposes?
[1] <https://github.com/php/doc-en/commit/9a37893b543ee7d558ac8cbebbc6d1f0caf719f2>
------------------------------------------------------------------------
[2020-01-10 13:30:35] n at n0099 dot net
Please mention this 8192 default length in document, and also i hope there could be a -1 value for
unlimited length.
------------------------------------------------------------------------
The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
https://bugs.php.net/bug.php?id=48421
--
Edit this bug report at https://bugs.php.net/bug.php?id=48421&edit=1