1
0
mirror of https://github.com/php/php-src.git synced 2026-04-20 22:41:20 +02:00

Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Prevent race condition in opcache_reset()
This commit is contained in:
Dmitry Stogov
2019-05-21 00:08:03 +03:00

View File

@@ -766,7 +766,10 @@ static ZEND_FUNCTION(opcache_reset)
RETURN_FALSE;
}
/* exclusive lock */
zend_shared_alloc_lock();
zend_accel_schedule_restart(ACCEL_RESTART_USER);
zend_shared_alloc_unlock();
RETURN_TRUE;
}