1
0
mirror of https://github.com/MariaDB/server.git synced 2025-11-28 17:36:30 +03:00

sync with extensions rev 23

This commit is contained in:
Vadim Tkachenko
2008-12-23 20:45:02 -08:00
parent b00b32c766
commit 7d8db4709d
15 changed files with 249 additions and 105 deletions

View File

@@ -73,6 +73,8 @@ extern char** srv_data_file_names;
extern ulint* srv_data_file_sizes;
extern ulint* srv_data_file_is_raw_partition;
extern ibool srv_extra_undoslots;
extern ibool srv_auto_extend_last_data_file;
extern ulint srv_last_file_size_max;
extern ulong srv_auto_extend_increment;