1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +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 8d154f7a99
commit 6a59acbad5
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);
}