1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Automatic merge with MariaDB 5.1

This commit is contained in:
Michael Widenius
2010-11-04 17:08:28 +02:00
14 changed files with 152 additions and 55 deletions

View File

@ -1224,6 +1224,13 @@ public:
return m_total_warn_count;
}
/* Used to count any warnings pushed after calling set_ok_status(). */
void increment_warning()
{
if (m_status != DA_EMPTY)
m_total_warn_count++;
}
Diagnostics_area() { reset_diagnostics_area(); }
private: