tree d123b49621bf5de43ba6a45a2e7a35b761df1a9d
parent 5871f8e9bff2a1c1f2b4fb8bc1b9a1feac6cfd43
author Willy Tarreau <w@1wt.eu> 1168174050 +0100
committer Willy Tarreau <w@1wt.eu> 1168174050 +0100

[MEDIUM] Stats: add support for the HEAD method

There are browsers which sometimes send HEAD requests to the stats
page, but it was not handled so it returned a 503 server error or
was simply sent to the default backend servers.

Now with a HEAD request, the stats return the headers and finish
there. Normally, other methods should be blocked so that the stats
page really catches the whole URI. Other methods would need to cause
a 405 Method not allowed to be returned.