1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

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

This commit is contained in:
unknown
2006-10-18 16:39:00 +02:00
parent b860c4dbf5
commit 8e5b64ae0a

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);
}