mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
Debug printouts
This commit is contained in:
@ -66,7 +66,9 @@ sub mixed_path {
|
|||||||
my ($path)= @_;
|
my ($path)= @_;
|
||||||
if (IS_CYGWIN){
|
if (IS_CYGWIN){
|
||||||
return unless defined $path;
|
return unless defined $path;
|
||||||
$path= `cygpath -m $path`;
|
my $cmd= "cygpath -m $path";
|
||||||
|
print "$cmd\n";
|
||||||
|
$path= `$cmd`;
|
||||||
chomp $path;
|
chomp $path;
|
||||||
}
|
}
|
||||||
return $path;
|
return $path;
|
||||||
|
@ -88,7 +88,8 @@ sub mtr_get_unique_id($$) {
|
|||||||
msg("taken: $id, $pid");
|
msg("taken: $id, $pid");
|
||||||
# Check if process with given pid is alive
|
# Check if process with given pid is alive
|
||||||
if(!process_alive($pid)) {
|
if(!process_alive($pid)) {
|
||||||
msg("Removing slot $id used by missing process $pid");;
|
print "Removing slot $id used by missing process $pid\n";
|
||||||
|
msg("Removing slot $id used by missing process $pid");
|
||||||
delete $taken{$id};
|
delete $taken{$id};
|
||||||
$changed++;
|
$changed++;
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user