1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Fixed some memory leaks

Disabled some asserts that we can't yet have enabled
This commit is contained in:
Michael Widenius
2013-06-19 22:57:46 +03:00
parent dfcc502ab5
commit f62f4bd563
12 changed files with 29 additions and 14 deletions

View File

@ -713,7 +713,8 @@ public:
}
Diagnostics_area(bool initialize);
Diagnostics_area(ulonglong warning_info_id, bool allow_unlimited_warnings);
Diagnostics_area(ulonglong warning_info_id, bool allow_unlimited_warnings,
bool initialize);
void init() { m_main_wi.init() ; }
void free_memory() { m_main_wi.free_memory() ; }