diff options
| author | Sergei Golubchik <serg@mariadb.org> | 2016-06-21 14:20:09 +0200 |
|---|---|---|
| committer | Sergei Golubchik <serg@mariadb.org> | 2016-06-21 14:20:09 +0200 |
| commit | b42664e85e2cd512245de4fde94237a502fdbedb (patch) | |
| tree | 8bfeae1dc8a94983d55535ac00d54427bb5cb5a5 /storage/xtradb/mem/mem0pool.cc | |
| parent | 5b8ac23030a59a8ed3636d441180fec571dbe3d1 (diff) | |
| download | mariadb-git-b42664e85e2cd512245de4fde94237a502fdbedb.tar.gz | |
5.6.30-76.3
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); } |