mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
sync with rev73 extensions
This commit is contained in:
parent
121461f6f3
commit
f657606df9
50 changed files with 2454 additions and 609 deletions
|
|
@ -854,6 +854,9 @@ row_update_statistics_if_needed(
|
|||
|
||||
table->stat_modified_counter = counter + 1;
|
||||
|
||||
if (!srv_stats_auto_update)
|
||||
return;
|
||||
|
||||
/* Calculate new statistics if 1 / 16 of table has been modified
|
||||
since the last time a statistics batch was run, or if
|
||||
stat_modified_counter > 2 000 000 000 (to avoid wrap-around).
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue