mirror of
https://github.com/MariaDB/server.git
synced 2025-10-12 18:59:14 +02:00
4 lines
68 B
PHP
4 lines
68 B
PHP
if ($INIT_TEST_ENGINE)
|
|
{
|
|
--echo Deinit $TEST_ENGINE_TYPE engine
|
|
}
|