1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +03:00

Merge bk-internal.mysql.com:/home/bk/mysql-4.1-maint

into  rolltop.ignatz42.dyndns.org:/mnt/storeage/mysql-4.1-maint
This commit is contained in:
iggy@rolltop.ignatz42.dyndns.org
2006-11-09 15:36:13 -05:00
13 changed files with 1108 additions and 304 deletions

View File

@@ -441,7 +441,6 @@ sub mtr_kill_leftovers () {
# Only read pid from files that end with .pid
if ( $elem =~ /.*[.]pid$/)
{
my $pidfile= "$rundir/$elem";
if ( -f $pidfile )
@@ -465,7 +464,8 @@ sub mtr_kill_leftovers () {
}
else
{
mtr_warning("Found non pid file $elem in $rundir");
mtr_warning("Found non pid file $elem in $rundir")
if -f "$rundir/$elem";
next;
}
}