mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
Merge branch 'PHP-7.3' into PHP-7.4
This commit is contained in:
commit
c25104bb5b
2 changed files with 14 additions and 15 deletions
|
@ -134,6 +134,9 @@ PHPAPI void
|
|||
mysqlnd_mempool_restore_state(MYSQLND_MEMORY_POOL * pool)
|
||||
{
|
||||
DBG_ENTER("mysqlnd_mempool_restore_state");
|
||||
#if ZEND_DEBUG
|
||||
ZEND_ASSERT(pool->checkpoint);
|
||||
#endif
|
||||
if (pool->checkpoint) {
|
||||
zend_arena_release(&pool->arena, pool->checkpoint);
|
||||
pool->last = NULL;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue