|
php.net | support | documentation | report a bug | advanced search | search howto | statistics | random bug | login |
PatchesPull RequestsHistoryAllCommentsChangesGit/SVN commits
[2017-05-11 16:15 UTC] yoanlin93 at gmail dot com
[2019-02-10 21:17 UTC] petk@php.net
[2021-08-27 13:23 UTC] cmb@php.net
-Status: Open
+Status: Verified
[2021-08-27 13:23 UTC] cmb@php.net
[2021-08-27 13:23 UTC] cmb@php.net
-PHP Version: 7.1.4
+PHP Version: 7.4
|
|||||||||||||||||||||||||||||||||||||
Copyright © 2001-2025 The PHP GroupAll rights reserved. |
Last updated: Wed Nov 05 02:00:01 2025 UTC |
Description: ------------ when piping string to the php executable, readline returns the duplicate input by twice. Test script: --------------- here is the simple script to reproduce this issue: readline.php: <?php echo readline(''); ?> execute: # echo foo | php readline.php Expected result: ---------------- foo Actual result: -------------- foo foo