- Fix for bug #17462 (Patch by Edin Kadribasic)

diff --git a/Zend/zend_ini_scanner.l b/Zend/zend_ini_scanner.l
index 707a27415c23c33828974d037411de7172a89671..fe14e92b6953ee47ab34362891a2e680591128fc 100644 (file)
--- a/Zend/zend_ini_scanner.l
+++ b/Zend/zend_ini_scanner.l
@@ -125,11 +125,11 @@ NEWLINE ("\r"|"\n"|"\r\n")
        return CFG_FALSE;
 }
 
-<INITIAL>[[][^[]+[\]]{NEWLINE}? {
+<INITIAL>[[][^[]+[\]][ ]*{NEWLINE}? {
        /* SECTION */
 
-       /* eat trailng ] */
-       while (yyleng>0 && (yytext[yyleng-1]=='\n' || yytext[yyleng-1]=='\r' || yytext[yyleng-1]==']')) {
+       /* eat trailng and spaces ] */
+       while (yyleng>0 && (yytext[yyleng-1]=='\n' || yytext[yyleng-1]=='\r' || yytext[yyleng-1]==']' || yytext[yyleng-1]==' ')) {
                yyleng--;
                yytext[yyleng]=0;
        }