mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 10:31:54 +01:00
7 lines
245 B
PHP
7 lines
245 B
PHP
--let $_server_id= `SELECT @@server_id`
|
|
--let $_expect_file_name= $MYSQLTEST_VARDIR/tmp/mysqld.$_server_id.expect
|
|
|
|
--echo # Kill the server
|
|
--exec echo "wait" > $_expect_file_name
|
|
--shutdown_server 0
|
|
--source include/wait_until_disconnected.inc
|