Write error messages about duplicate OIDs to stderr

pull/32/head
Peter Eisentraut 8 years ago
parent 33a1c2145c
commit c5679256e9
  1. 4
      src/backend/catalog/genbki.pl

@ -137,8 +137,8 @@ my $found = 0;
foreach my $oid (keys %oidcounts)
{
next unless $oidcounts{$oid} > 1;
print "Duplicate oids detected:\n" if !$found;
print "$oid\n";
print STDERR "Duplicate OIDs detected:\n" if !$found;
print STDERR "$oid\n";
$found++;
}
die "found $found duplicate OID(s) in catalog data\n" if $found;

Loading…
Cancel
Save