diff options
author | unknown <msvensson@shellback.(none)> | 2006-10-18 16:39:00 +0200 |
---|---|---|
committer | unknown <msvensson@shellback.(none)> | 2006-10-18 16:39:00 +0200 |
commit | 8e5b64ae0ad99070d93cb491c8f0aba5c889709e (patch) | |
tree | 412ff829d0e3cac3cda5213134b7c37019387b3a /mysql-test/mysql-test-run.pl | |
parent | b860c4dbf5b7255e6052084cb4514589a5d24619 (diff) | |
download | mariadb-git-8e5b64ae0ad99070d93cb491c8f0aba5c889709e.tar.gz |
Stop all timers before exiting when --start-and-exit
Diffstat (limited to 'mysql-test/mysql-test-run.pl')
-rwxr-xr-x | mysql-test/mysql-test-run.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl index 05baaaa6f2f..daa5b8aca96 100755 --- a/mysql-test/mysql-test-run.pl +++ b/mysql-test/mysql-test-run.pl @@ -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); } |