diff options
| author | Magnus Svensson <msvensson@mysql.com> | 2008-08-11 10:41:23 +0200 |
|---|---|---|
| committer | Magnus Svensson <msvensson@mysql.com> | 2008-08-11 10:41:23 +0200 |
| commit | 93d835213e1c5bb6bad455ef6a4877a960e638f3 (patch) | |
| tree | 41ce298a8ac396d8b2e497c987056d1c918a5ff0 /mysql-test/lib/mtr_unique.pm | |
| parent | 75b4bdef133cae3665bdb872d89d384a584c0da6 (diff) | |
| download | mariadb-git-93d835213e1c5bb6bad455ef6a4877a960e638f3.tar.gz | |
Debug printouts
Diffstat (limited to 'mysql-test/lib/mtr_unique.pm')
| -rw-r--r-- | mysql-test/lib/mtr_unique.pm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mysql-test/lib/mtr_unique.pm b/mysql-test/lib/mtr_unique.pm index 22a23644540..b4093ab1dce 100644 --- a/mysql-test/lib/mtr_unique.pm +++ b/mysql-test/lib/mtr_unique.pm @@ -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++; } |