1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

lots of post-merge changes

This commit is contained in:
Sergei Golubchik
2011-04-25 17:22:25 +02:00
parent 37f87d73ae
commit 0accbd0364
738 changed files with 9206 additions and 10972 deletions

View File

@ -101,7 +101,7 @@ public:
void increment_warning()
{
if (m_status != DA_EMPTY)
m_total_warn_count++;
m_statement_warn_count++;
}
Diagnostics_area() { reset_diagnostics_area(); }