diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-12-11 17:11:30 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-12-13 11:04:44 +0100 |
| commit | 0f2cdbf214efd98b4bdaf5ca41728faf00e7c037 (patch) | |
| tree | c727d93301dad9a85015007a2e5629d9f8454c54 /Zend/zend_execute_API.c | |
| parent | 79376ab209f61be03bbf8c1b6177c18261767da8 (diff) | |
| download | php-git-0f2cdbf214efd98b4bdaf5ca41728faf00e7c037.tar.gz | |
Introduce extra counter to avoid RTD key collisions
Also generate a fatal error if a collision occurs in zend_compile.
This is not perfect, because collisions might still be introduced
via opcache, if one file is included multiple times during a request,
invalidate in the meantime and recompiled by different processes.
This still needs to be addressed, but this patch fixes the much
more common case of collisions occuring when opcache is not used.
Fixes bug #78903.
Diffstat (limited to 'Zend/zend_execute_API.c')
0 files changed, 0 insertions, 0 deletions