1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00
This commit is contained in:
unknown
2001-11-05 18:50:12 +02:00
parent 0176dacd54
commit 7999a08c8a
8 changed files with 99 additions and 31 deletions

View File

@ -66,6 +66,9 @@ extern char* srv_unix_file_flush_method_str;
extern ulint srv_unix_file_flush_method;
extern ulint srv_force_recovery;
extern ulint srv_thread_concurrency;
extern lint srv_conc_n_threads;
extern ibool srv_fast_shutdown;
extern ibool srv_use_doublewrite_buf;