On Thu, Oct 04, 2001 at 12:51:44PM +0200, Yngve Svendsen wrote:
> At 10:51 04.10.2001 +0200, Lars Henriksen wrote:
> >But this change will affect all other pages as well :-(
> >
> >Anyway, it didn't help. I changed Opera settings without success. Then
> >I started Netscape and found that it behaves just as Opera. Whether I
> >have the "every time" option set or not, I have to reload the page.
>
> What web server platform are you running Gnatsweb on?
Gnats and Gnatsweb are both running on our web server which is a an
AlphaServer 800 with Digital UNIX 4.0D (or whatever they call it these
days) and Apache 1.3.4.