mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 20:12:31 +01:00
20 lines
594 B
PHP
20 lines
594 B
PHP
--echo Killing server ...
|
|
|
|
# Write file to make mysql-test-run.pl expect the crash, but don't start it
|
|
--let $_server_id= `SELECT @@server_id`
|
|
--let $_expect_file_name= $MYSQLTEST_VARDIR/tmp/mysqld.$_server_id.expect
|
|
--exec echo "wait" > $_expect_file_name
|
|
|
|
# Kill the connected server
|
|
--disable_reconnect
|
|
--let KILL_NODE_PIDFILE = `SELECT @@pid_file`
|
|
|
|
--perl
|
|
my $pid_filename = $ENV{'KILL_NODE_PIDFILE'};
|
|
my $mysqld_pid = `cat $pid_filename`;
|
|
chomp($mysqld_pid);
|
|
system("kill -9 $mysqld_pid");
|
|
exit(0);
|
|
EOF
|
|
|
|
--source include/wait_until_disconnected.inc
|