1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Stop all timers before exiting when --start-and-exit

This commit is contained in:
msvensson@shellback.(none)
2006-10-18 16:39:00 +02:00
parent 4890ed261c
commit 1feac4d44f

View File

@ -2913,6 +2913,7 @@ sub run_testcase ($) {
# ----------------------------------------------------------------------
if ( $opt_start_and_exit or $opt_start_dirty )
{
mtr_timer_stop_all($glob_timers);
mtr_report("\nServers started, exiting");
exit(0);
}