diff options
| -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(); +} |