mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 03:52:35 +01:00
Debug printouts
This commit is contained in:
parent
75b4bdef13
commit
93d835213e
2 changed files with 5 additions and 2 deletions
|
@ -66,7 +66,9 @@ sub mixed_path {
|
|||
my ($path)= @_;
|
||||
if (IS_CYGWIN){
|
||||
return unless defined $path;
|
||||
$path= `cygpath -m $path`;
|
||||
my $cmd= "cygpath -m $path";
|
||||
print "$cmd\n";
|
||||
$path= `$cmd`;
|
||||
chomp $path;
|
||||
}
|
||||
return $path;
|
||||
|
|
|
@ -88,7 +88,8 @@ sub mtr_get_unique_id($$) {
|
|||
msg("taken: $id, $pid");
|
||||
# Check if process with given pid is alive
|
||||
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};
|
||||
$changed++;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue