1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Repair any table in mysql database as part of cleaning up from previous runs

This commit is contained in:
unknown
2008-03-12 12:19:36 +01:00
parent 7d336347d5
commit 4cefad6ed0

View File

@ -14,6 +14,9 @@
DROP TABLE IF EXISTS t1, `t``1`, `t 1`;
drop view if exists v1;
drop database if exists client_test_db;
# Repair any tables in mysql, sometimes the slow_log is marked as crashed
# after server has been killed
--exec $MYSQL_CHECK --repair --databases mysql > /dev/null 2>&1
--enable_warnings
#