diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl index 9dac8b6c488..44dc51b5e95 100755 --- a/mysql-test/mysql-test-run.pl +++ b/mysql-test/mysql-test-run.pl @@ -2781,6 +2781,10 @@ sub run_testcase ($) { if ( $opt_check_testcases and check_testcase($tinfo, "before") ){ # Failed to record state of server or server crashed report_failure_and_restart($tinfo); + + # Stop the test case timer + $test_timeout_proc->kill(); + return 1; }