1berry/MariaDB-server
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove pidfile after killing serve

Browse Source
This commit is contained in:
unknown 2008-01-08 11:11:06 +01:00
parent b13b5c5a4a
commit 1292c6f6a3
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
mysql-test/mysql-test-run.pl
View File

@ -2747,6 +2747,13 @@ sub stop_all_servers () {
My::SafeProcess::shutdown(0, # shutdown timeout 0 => kill My::SafeProcess::shutdown(0, # shutdown timeout 0 => kill
started(all_servers())); 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 # Mark servers as stopped
map($_->{proc}= undef, all_servers()); map($_->{proc}= undef, all_servers());