mirror of
https://github.com/php/php-src.git
synced 2025-08-18 15:08:55 +02:00
- Forgotten patch for trunk
- Fixed stdin filename in error messages
This commit is contained in:
parent
0e218d3512
commit
76c445dd73
1 changed files with 1 additions and 0 deletions
|
@ -2191,6 +2191,7 @@ PHPAPI int php_execute_script(zend_file_handle *primary_file TSRMLS_DC)
|
||||||
* otherwise it will get opened and added to the included_files list in zend_execute_scripts
|
* otherwise it will get opened and added to the included_files list in zend_execute_scripts
|
||||||
*/
|
*/
|
||||||
if (primary_file->filename &&
|
if (primary_file->filename &&
|
||||||
|
(primary_file->filename[0] != '-' || primary_file->filename[1] != 0) &&
|
||||||
primary_file->opened_path == NULL &&
|
primary_file->opened_path == NULL &&
|
||||||
primary_file->type != ZEND_HANDLE_FILENAME
|
primary_file->type != ZEND_HANDLE_FILENAME
|
||||||
) {
|
) {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue