patch for gnatsweb.pl

[Robert Lupton the Good]

(This is my "patch.5")

This patch:

        Includes the PR number in the title of the page when
        viewing/editing a PR.  I find this useful while e.g.  checking
        in the patch and I simply want to know the PR number.

        

                                R


*** gnatsweb.pl Thu Sep 12 08:59:55 2002
--- /u/dss/cgi-bin/gnatsweb-v4.pl       Thu Sep 12 09:28:11 2002
***************
*** 1346,1357 ****
  sub view
  {
    my($viewaudit, $tmp) = @_;
  
!   my $page = 'View PR';
    page_start_html($page);
  
-   # $pr must be 'local' to be available to site callback
-   local($pr) = $q->param('pr');
  
    # strip out leading category (and any other non-digit trash) from $pr
    $pr =~ s/\D//g;
--- 1346,1357 ----
  sub view
  {
    my($viewaudit, $tmp) = @_;
+   # $pr must be 'local' to be available to site callback
+   local($pr) = $q->param('pr');
  
!   my $page = "View PR $pr";
    page_start_html($page);
  
  
    # strip out leading category (and any other non-digit trash) from $pr
    $pr =~ s/\D//g;
***************
*** 1472,1483 ****
  #
  sub edit
  {
!   my $page = 'Edit PR';
    page_start_html($page);
  
    #my $debug = 0;
  
-   my($pr) = $q->param('pr');
  
    # strip out leading category (and any other non-digit trash) from
    # $pr, since it will unduly confuse gnats when we try to submit the
--- 1472,1484 ----
  #
  sub edit
  {
!   my($pr) = $q->param('pr');
! 
!   my $page = "Edit PR $pr";
    page_start_html($page);
  
    #my $debug = 0;
  
  
    # strip out leading category (and any other non-digit trash) from
    # $pr, since it will unduly confuse gnats when we try to submit the