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

Remove pidfile after killing serve

Browse Source
This commit is contained in:
msvensson@pilot.mysql.com
2008-01-08 11:11:06 +01:00
parent 54b19234c1
commit 03d31f72a0
1 changed files with 7 additions and 0 deletions
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
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());