mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 11:01:52 +01:00
Merge mysql.com:/home/stewart/Documents/MySQL/4.1/bug18881
into mysql.com:/home/stewart/Documents/MySQL/5.1/merge
This commit is contained in:
commit
af2f420a10
1 changed files with 1 additions and 0 deletions
|
@ -114,6 +114,7 @@ EmulatorData::destroy(){
|
|||
delete theSimBlockList; theSimBlockList = 0;
|
||||
if(m_socket_server)
|
||||
delete m_socket_server; m_socket_server = 0;
|
||||
NdbMutex_Destroy(theShutdownMutex);
|
||||
if (m_mem_manager)
|
||||
delete m_mem_manager; m_mem_manager = 0;
|
||||
|
||||
|
|
Loading…
Add table
Reference in a new issue