diff options
| author | unknown <msvensson@pilot.mysql.com> | 2008-01-08 11:11:06 +0100 |
|---|---|---|
| committer | unknown <msvensson@pilot.mysql.com> | 2008-01-08 11:11:06 +0100 |
| commit | 1292c6f6a31348b9b8bdf84c26113d95bcb5abfa (patch) | |
| tree | 63574941b3950e71c3acef7c4ff1cfb88f3e8eb2 /mysql-test | |
| parent | b13b5c5a4a4969cca51fb94a7f6fba75d60757e0 (diff) | |
| download | mariadb-git-1292c6f6a31348b9b8bdf84c26113d95bcb5abfa.tar.gz | |
Remove pidfile after killing serve
Diffstat (limited to 'mysql-test')
| -rwxr-xr-x | mysql-test/mysql-test-run.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl index a4cf7b41310..09b66ee4521 100755 --- a/mysql-test/mysql-test-run.pl +++ b/mysql-test/mysql-test-run.pl @@ -2747,6 +2747,13 @@ sub stop_all_servers () { My::SafeProcess::shutdown(0, # shutdown timeout 0 => kill started(all_servers())); + # Remove pidfiles + foreach my $server ( all_servers() ) + { + my $pid_file= $server->if_exist('pid-file'); + unlink($pid_file) if defined $pid_file; + } + # Mark servers as stopped map($_->{proc}= undef, all_servers()); |