diff options
Diffstat (limited to 'storage/xtradb/mem/mem0pool.cc')
| -rw-r--r-- | storage/xtradb/mem/mem0pool.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/storage/xtradb/mem/mem0pool.cc b/storage/xtradb/mem/mem0pool.cc index fe9a84d21fa..42d0417c768 100644 --- a/storage/xtradb/mem/mem0pool.cc +++ b/storage/xtradb/mem/mem0pool.cc @@ -280,6 +280,7 @@ mem_pool_free( /*==========*/ mem_pool_t* pool) /*!< in, own: memory pool */ { + mutex_free(&pool->mutex); ut_free(pool->buf); ut_free(pool); } |