1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

reverting the initial patch for bug#13437900 for refinement.

This commit is contained in:
Andrei Elkin
2011-11-29 22:30:04 +02:00
parent 9937d5f0a9
commit b1e283a4b1
6 changed files with 8 additions and 20 deletions

View File

@@ -1689,6 +1689,7 @@ err:
thd_proc_info(thd, 0);
if (ret == FALSE)
my_ok(thd);
delete_dynamic(&lex_mi->repl_ignore_server_ids); //freeing of parser-time alloc
DBUG_RETURN(ret);
}