]> granicus.if.org Git - php/commitdiff
MFB: We know ini file scanning will never be interactive, so speed it up a
authorRasmus Lerdorf <rasmus@php.net>
Thu, 27 Feb 2003 00:11:43 +0000 (00:11 +0000)
committerRasmus Lerdorf <rasmus@php.net>
Thu, 27 Feb 2003 00:11:43 +0000 (00:11 +0000)
bit.  Need a dynamic check for the language scanner.

Zend/zend_ini_scanner.l

index 33d1d294dd8c797b7dacf6093ade51b86b55f579..fb85c101ff26c3a9cf50ffb4c859c9120a892c52 100644 (file)
@@ -93,6 +93,7 @@ void zend_ini_close_file(zend_file_handle *fh TSRMLS_DC)
 NEWLINE ("\r"|"\n"|"\r\n")
 
 %option noyywrap
+%option never-interactive
 
 %%