diff options
| author | Zeev Suraski <zeev@php.net> | 2000-11-03 02:45:55 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2000-11-03 02:45:55 +0000 |
| commit | 313a459af3a029e95b5988ba9de998de3dff3859 (patch) | |
| tree | 81e5fb2f0a982364f17fe8163d359f74f40cba50 /Zend/zend_ini_scanner.l | |
| parent | 8da331e6ab64540b0ea1129d0930058da062a2da (diff) | |
| download | php-git-313a459af3a029e95b5988ba9de998de3dff3859.tar.gz | |
Fix for bug #5571 (by mookid@sigent.ru)
Diffstat (limited to 'Zend/zend_ini_scanner.l')
| -rw-r--r-- | Zend/zend_ini_scanner.l | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Zend/zend_ini_scanner.l b/Zend/zend_ini_scanner.l index dcb0998f68..af407b2372 100644 --- a/Zend/zend_ini_scanner.l +++ b/Zend/zend_ini_scanner.l @@ -276,3 +276,8 @@ void zend_ini_close_file(zend_file_handle *fh) php_error(E_NOTICE,"Unexpected character on line %d: '%s' (ASCII %d)\n",yylineno,yytext,yytext[0]); #endif } + +<<EOF>> { + yy_delete_buffer(YY_CURRENT_BUFFER); + yyterminate(); +} |