On Tue Dec 30, 2025 at 05:31:07AM +0000, Lloyd wrote:
> Kirill A. Korinsky wrote:
> 
> > 
> > I hadn't yet tested it, but I will, anyway it reads good and it triggers the
> > first feedback: shall we backout "no banner" commit?
> > 
> > It seems that header hide should be enough to make it in general way.
> > 
> 
> Server header is kind of a special case.
> 
> The 'no banner' directive doesn't simply delete the Server header.
> 
> It also hides the servername in the errdocs (while leaving fcgi params
> untouched, for RFC compliance).
> 

I agree, we should ignore "header hide Server" and display a warning
such as "'header hide Server' ignored, use 'no banner' instead".