diff options
author | Dmitry Stogov <dmitry@php.net> | 2009-12-08 10:16:38 +0000 |
---|---|---|
committer | Dmitry Stogov <dmitry@php.net> | 2009-12-08 10:16:38 +0000 |
commit | f79bc0ac21eb0d74e5157a42cb08f917afd40436 (patch) | |
tree | 9272dff25bba261ed6efff6d2f02c86b21667ae8 | |
parent | 028ffa75f384058182eacc586cd58c4a55a7978e (diff) | |
download | php-git-f79bc0ac21eb0d74e5157a42cb08f917afd40436.tar.gz |
- Forgotten patch for trunk
- Fixed stdin filename in error messages
-rw-r--r-- | main/main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/main.c b/main/main.c index e6be4a2d43..7ffeaf7d4d 100644 --- a/main/main.c +++ b/main/main.c @@ -1994,6 +1994,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 */ if (primary_file->filename && + (primary_file->filename[0] != '-' || primary_file->filename[1] != 0) && primary_file->opened_path == NULL && primary_file->type != ZEND_HANDLE_FILENAME ) { |