mirror of
https://github.com/MariaDB/server.git
synced 2025-01-24 07:44:22 +01:00
srv_lock_timeout_and_monitor_thread(): Correct the indentation that was
broken in r1521.
This commit is contained in:
parent
7b3e53b444
commit
a808cafee8
1 changed files with 4 additions and 3 deletions
|
@ -1930,9 +1930,10 @@ loop:
|
||||||
mutex_exit(&srv_monitor_file_mutex);
|
mutex_exit(&srv_monitor_file_mutex);
|
||||||
}
|
}
|
||||||
|
|
||||||
if (srv_print_innodb_tablespace_monitor
|
if (srv_print_innodb_tablespace_monitor
|
||||||
&& difftime(current_time, last_tablespace_monitor_time) > 60) {
|
&& difftime(current_time,
|
||||||
last_tablespace_monitor_time = time(NULL);
|
last_tablespace_monitor_time) > 60) {
|
||||||
|
last_tablespace_monitor_time = time(NULL);
|
||||||
|
|
||||||
fputs("========================"
|
fputs("========================"
|
||||||
"========================\n",
|
"========================\n",
|
||||||
|
|
Loading…
Add table
Reference in a new issue