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 | 76c445dd73cdfe78bfaffd9cb15fbd1d80f9646b (patch) | |
| tree | 1db96f26f03c8f1a88662fd5e4136180c27388df | |
| parent | 0e218d3512da65fbc0121db2b0e13d32b218fc18 (diff) | |
| download | php-git-76c445dd73cdfe78bfaffd9cb15fbd1d80f9646b.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 e553708cc2..464ffc694e 100644 --- a/main/main.c +++ b/main/main.c @@ -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 */ if (primary_file->filename && + (primary_file->filename[0] != '-' || primary_file->filename[1] != 0) && primary_file->opened_path == NULL && primary_file->type != ZEND_HANDLE_FILENAME ) { |