From: Zeev Suraski <zeev@php.net>
Date: Fri, 3 Nov 2000 02:45:55 +0000 (+0000)
Subject: Fix for bug #5571 (by mookid@sigent.ru)
X-Git-Tag: php-4.0.4RC3~347
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=313a459af3a029e95b5988ba9de998de3dff3859;p=php

Fix for bug #5571 (by mookid@sigent.ru)
---

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