]> git.donarmstrong.com Git - debbugs.git/commitdiff
[project @ 2001-11-22 01:46:44 by doogie]
authordoogie <>
Thu, 22 Nov 2001 09:46:44 +0000 (01:46 -0800)
committerdoogie <>
Thu, 22 Nov 2001 09:46:44 +0000 (01:46 -0800)
If the source package name is different than the package name, include it
in the list of other bug pages to visit.

cgi/pkgreport.cgi

index 51a4a28ebb1449820831a2a58e522a08f536ce68..507f48092379df0ad5e164a58cb15d6908ca243e 100755 (executable)
@@ -157,6 +157,7 @@ if (defined $pkg || defined $src) {
        } else {
                print "You may want to refer to the following individual bug pages:<br>\n";
        }
+       push @pkgs, $src if ( $src && !grep(/^\Q$src\E$/, @pkgs) );
        print join( ", ", map( "<A href=\"" . pkgurl($_) . "\">$_</A>", @pkgs ) );
        print ".\n";
     }