1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Merge 10.0.14 into 10.1

This commit is contained in:
Sergei Golubchik
2014-10-15 12:59:13 +02:00
2115 changed files with 87968 additions and 80173 deletions

View File

@ -1,4 +1,6 @@
drop procedure if exists check_instrument;
truncate table performance_schema.events_statements_summary_by_digest;
flush status;
create procedure check_instrument(in instr_name varchar(128))
begin
declare count_expected integer;

View File

@ -9,6 +9,10 @@
drop procedure if exists check_instrument;
--enable_warnings
# reset counters
truncate table performance_schema.events_statements_summary_by_digest;
flush status;
delimiter $;
create procedure check_instrument(in instr_name varchar(128))
begin