diff options
author | Rasmus Lerdorf <rasmus@php.net> | 2003-02-27 00:11:43 +0000 |
---|---|---|
committer | Rasmus Lerdorf <rasmus@php.net> | 2003-02-27 00:11:43 +0000 |
commit | 0b5ffc4f1c6ed0b2e616d7af93b9730e148de360 (patch) | |
tree | 30a376dde4173e2f0b50026e4819e3382fbef0f4 | |
parent | 972c04e50b87348eb0788c81d8df4f4e7ce035f7 (diff) | |
download | php-git-0b5ffc4f1c6ed0b2e616d7af93b9730e148de360.tar.gz |
MFB: We know ini file scanning will never be interactive, so speed it up a
bit. Need a dynamic check for the language scanner.
-rw-r--r-- | Zend/zend_ini_scanner.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Zend/zend_ini_scanner.l b/Zend/zend_ini_scanner.l index 33d1d294dd..fb85c101ff 100644 --- a/Zend/zend_ini_scanner.l +++ b/Zend/zend_ini_scanner.l @@ -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 %% |