mirror of
https://github.com/php/php-src.git
synced 2024-12-02 22:34:55 +08:00
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2: Fixed bug #78185 (File cache no longer works)
This commit is contained in:
commit
35acda856a
3
NEWS
3
NEWS
@ -8,6 +8,9 @@ PHP NEWS
|
||||
- Date:
|
||||
. Fixed #69044 (discrepency between time and microtime). (krakjoe)
|
||||
|
||||
- Opcache:
|
||||
. Fixed bug #78185 (File cache no longer works). (Dmitry)
|
||||
|
||||
27 Jun 2019, PHP 7.3.7
|
||||
|
||||
- Core:
|
||||
|
@ -1918,6 +1918,13 @@ zend_op_array *persistent_compile_file(zend_file_handle *file_handle, int type)
|
||||
/* The Accelerator is disabled, act as if without the Accelerator */
|
||||
ZCG(cache_opline) = NULL;
|
||||
ZCG(cache_persistent_script) = NULL;
|
||||
#ifdef HAVE_OPCACHE_FILE_CACHE
|
||||
if (file_handle->filename
|
||||
&& ZCG(accel_directives).file_cache
|
||||
&& ZCG(enabled) && accel_startup_ok) {
|
||||
return file_cache_compile_file(file_handle, type);
|
||||
}
|
||||
#endif
|
||||
return accelerator_orig_compile_file(file_handle, type);
|
||||
#ifdef HAVE_OPCACHE_FILE_CACHE
|
||||
} else if (file_cache_only) {
|
||||
|
Loading…
Reference in New Issue
Block a user