Patch: web pages -vs- gnats

[Gerald Pfeifer]

I'm a bit disappointed that you didn't have a look at this patch (which
I thought was important/urgent to you), but I just went ahead an installed
it.

Gerald

On Thu, 8 Feb 2001, Gerald Pfeifer wrote:
> 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')