mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
32 lines
912 B
PHP
32 lines
912 B
PHP
# Maria helper script
|
|
# Copies clean tables' data and index file to other directory
|
|
# Tables are $mms_tname1...$mms_tname[$mms_tables]
|
|
# They are later used as a reference to see if recovery works.
|
|
|
|
# API:
|
|
# set $mms_tname to a string, and $mms_tables to a number N, the script will
|
|
# cover tables mysqltest.$mms_tname1,...$mms_tnameN
|
|
|
|
connection admin;
|
|
--source include/wait_until_connected_again.inc
|
|
|
|
let $mms_table_to_use=$mms_tables;
|
|
let $mms_purpose=comparison;
|
|
let $mms_copy=1;
|
|
|
|
--disable_query_log
|
|
--disable_warnings
|
|
eval drop database if exists mysqltest_for_$mms_purpose;
|
|
--enable_warnings
|
|
eval create database mysqltest_for_$mms_purpose;
|
|
--enable_query_log
|
|
|
|
while ($mms_table_to_use)
|
|
{
|
|
# to serve as a reference, table must be in a clean state
|
|
eval flush table $mms_tname$mms_table_to_use;
|
|
-- source include/maria_make_snapshot.inc
|
|
dec $mms_table_to_use;
|
|
}
|
|
let $mms_copy=0;
|
|
connection default;
|