diff options
| -rw-r--r-- | Zend/zend-scanner.l | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Zend/zend-scanner.l b/Zend/zend-scanner.l index ee54ff5514..9e68ec439c 100644 --- a/Zend/zend-scanner.l +++ b/Zend/zend-scanner.l @@ -194,7 +194,10 @@ ZEND_API void zend_open_file_dtor(zend_file_handle *fh) delete ((ifstream *) fh->handle.is); break; case ZEND_HANDLE_STDIOSTREAM: - delete ((istdiostream *) fh->handle.is); + istdiostream *pstdiostream = (istdiostream *) fh->handle.is; + + fclose(pstdiostream->rdbuf()->stdiofile()); + delete pstdiostream; break; #endif } |