Bug using "Sente Extensions"

[Glenn Henshaw]

  I found a bug in the latest version of gnatsweb (2.8.2). If you use the
Sente extensions to the "View PR", a change to the title of the pages makes
the extra buttons (Mine and Analyzed) disappear. 

  The changes in gnatsweb-site.pl are as follows:

*** 118,124 ****
      {
          # override footer html
          my($title) = @args;
!         if ($title eq 'View PR')
          {
              # Add one-click buttons at footer of view PR page.
              return sente_view_postlude();
--- 118,124 ----
      {
          # override footer html
          my($title) = @args;
!         if ($title =~ /^View PR/)
          {
              # Add one-click buttons at footer of view PR page.
              return sente_view_postlude();


  

-- 
Glenn Henshaw                         
Altera Ottawa Technology Center      
Phone: (613) 591-6702                 Email: address@hidden