archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Merge branch 'PHP-7.4'

Browse source
This commit is contained in:
Nikita Popov 2019-06-28 09:19:49 +02:00
commit aa8d70f309
6 changed files with 31 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ext/opcache/zend_shared_alloc.c
View file

@ -302,6 +302,10 @@ void zend_shared_alloc_shutdown(void)
g_shared_alloc_handler = NULL;
#ifndef ZEND_WIN32
close(lock_file);
# ifdef ZTS
tsrm_mutex_free(zts_lock);
# endif
#endif
}