diff --git a/srv/srv0srv.c b/srv/srv0srv.c index 9f5328af9b4..7dc9937c153 100644 --- a/srv/srv0srv.c +++ b/srv/srv0srv.c @@ -1930,9 +1930,10 @@ loop: mutex_exit(&srv_monitor_file_mutex); } - if (srv_print_innodb_tablespace_monitor - && difftime(current_time, last_tablespace_monitor_time) > 60) { - last_tablespace_monitor_time = time(NULL); + if (srv_print_innodb_tablespace_monitor + && difftime(current_time, + last_tablespace_monitor_time) > 60) { + last_tablespace_monitor_time = time(NULL); fputs("========================" "========================\n",