PATCH: gnatsweb.pl and redirects

[Gerald Pfeifer]

The first patch I installed as gnatsweb maintainer. ;-)

2000-12-29  Mark Kuchel  <address@hidden>
            Gerald Pfeifer  <address@hidden>

        * gnatsweb.pl (main): Add an explicit link to the automatic
        redirection page.

This helps browsers, where the automatic redirect does not work. Thanks
Mark!

More to come...

Gerald

Index: gnatsweb.pl
===================================================================
RCS file: /cvs/gnats/gnats/contrib/gnatsweb/gnatsweb.pl,v
retrieving revision 2.18
diff -u -3 -p -r2.18 gnatsweb.pl
--- gnatsweb.pl 2000/04/25 23:08:19     2.18
+++ gnatsweb.pl 2001/01/10 02:21:37
@@ -3060,7 +3060,11 @@ sub main
       }
       print "</pre></font><hr>\n";
     }
-    print $q->h3("hold on...redirecting"),
+    # Add a link to the new URL. In case the refresh/redirect above did not
+    # work, at least the user can select the link manually.
+    print $q->h3("Hold on... Redirecting...<br>".
+                 "In case it does not work automatically, please follow ".
+                 "<a href=\"$url\">this link</a>."),
     $q->end_html();
     exit();
   }