1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00
This commit is contained in:
Sergei Golubchik
2015-05-04 22:16:00 +02:00
parent 05c002d0ff
commit d71d411905
128 changed files with 731 additions and 1663 deletions

View File

@ -126,7 +126,7 @@ if($is_connect)
# Connect is visible.
# We hope that sleep 1 is long enough so that PERFORMANCE_SCHEMA
# can remove this row before we collect the after action state.
let $wait_timeou= 5;
let $wait_timeout= 5;
let $wait_condition=
SELECT COUNT(*) = 0
$part;