1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge MDEV-8147 into 10.0

This commit is contained in:
Kristian Nielsen
2015-05-26 13:15:57 +02:00
7 changed files with 151 additions and 14 deletions

View File

@@ -6623,6 +6623,7 @@ wait_for_commit::wakeup_subsequent_commits2(int wakeup_error)
a mutex), so no extra explicit barrier is needed here.
*/
wakeup_subsequent_commits_running= false;
DBUG_EXECUTE_IF("inject_wakeup_subsequent_commits_sleep", my_sleep(21000););
}