Edit report at https://bugs.php.net/bug.php?id=65225&edit=1
ID: 65225 Updated by: s...@php.net Reported by: patrickalla...@php.net Summary: PHP_BINARY incorrectly set -Status: Open +Status: Closed Type: Bug Package: PHP options/info functions PHP Version: 5.4.17 Block user comment: N Private report: N New Comment: Automatic comment on behalf of stas Revision: http://git.php.net/?p=php-src.git;a=commit;h=0154db1c5fcfd0c4030a0aefb2861dc8386b4a1c Log: new for fix #65225 Previous Comments: ------------------------------------------------------------------------ [2013-07-09 13:02:36] patrickalla...@php.net Description: ------------ PHP_BINARY is initialized thanks to php_binary_init() without checking that candidate is a regular file. I'm going to send a pull request that fixes it. Test script: --------------- $ sudo mkdir /usr/local/bin/php $ php -r 'echo PHP_BINARY, "\n";'; Expected result: ---------------- /usr/lib64/php5.4/bin/php Actual result: -------------- /usr/local/bin/php ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=65225&edit=1