Patch: web pages -vs- gnats

Gerald Pfeifer
Thu Feb 8 04:43:00 GMT 2001

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
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/ 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.)


RCS file: /cvs/gcc/wwwdocs/cgi-bin/,v
retrieving revision 1.24
diff -u -3 -p -r1.24
@@ -3119,6 +3119,10 @@ sub main
   $global_cookie_path = '/';
   $global_cookie_expires = '+30d';
+  #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')

More information about the Java-patches mailing list