mirror of
https://github.com/MariaDB/server.git
synced 2026-05-07 07:35:32 +02:00
This patch comes from Michael: See bug#56933.
This commit is contained in:
parent
14c7c747a5
commit
064fed3b25
1 changed files with 3 additions and 1 deletions
|
|
@ -2639,7 +2639,9 @@ loop:
|
||||||
when there is database activity */
|
when there is database activity */
|
||||||
|
|
||||||
srv_last_log_flush_time = time(NULL);
|
srv_last_log_flush_time = time(NULL);
|
||||||
next_itr_time = ut_time_ms();
|
|
||||||
|
/* Sleep for 1 second on entrying the for loop below the first time. */
|
||||||
|
next_itr_time = ut_time_ms() + 1000;
|
||||||
|
|
||||||
for (i = 0; i < 10; i++) {
|
for (i = 0; i < 10; i++) {
|
||||||
ulint cur_time = ut_time_ms();
|
ulint cur_time = ut_time_ms();
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue