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

Merge of mysql-5.1-bugteam into mysql-5.5-bugteam.

This commit is contained in:
Davi Arnaut
2010-11-16 07:45:07 -02:00
12 changed files with 27 additions and 19 deletions

View File

@ -1691,7 +1691,7 @@ static void debug_sync_execute(THD *thd, st_debug_sync_action *action)
if (action->execute)
{
const char *old_proc_info;
const char *UNINIT_VAR(old_proc_info);
action->execute--;