Re: Patch: web pages -vs- gnats

[Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>]

On 7 Feb 2001, Tom Tromey wrote:
> Gerald, if you're reading this, maybe the gcc gnatsweb could check to
> make sure the database is only ever set to `gcc'?

You mean, we should avoid
 http://gcc.gnu.org/cgi-bin/gnatsweb.gerald.pl?user=guest&password=guest&database=java
going to the "java" database?

Would you mind testing and, if it works for you, installing the patch
below? You can do the tests with wwwdocs/cgi-bin/gnatsweb.pl and just
back out the patch if it doesn't work.

(I cannot do it now, but as you consider this urgent, I thought I'd try
to craft a patch for you.)

Gerald


Index: gnatsweb.pl
===================================================================
RCS file: /cvs/gcc/wwwdocs/cgi-bin/gnatsweb.pl,v
retrieving revision 1.24
diff -u -3 -p -r1.24 gnatsweb.pl
@@ -3119,6 +3119,10 @@ sub main
   $global_cookie_path = '/';
   $global_cookie_expires = '+30d';
   init_prefs();
+
+  #GCC-LOCAL begin: Enforce the "gcc" database.
+  $global_prefs{'database'}="gcc";
+  #GCC-LOCAL end.

   # Big old switch to handle commands.
   if($cmd eq 'store query')