ce7b745e55
Allows the insertion of an overall Servlet Filter on top of the Gerrit HTTPD listener. This can be useful when an additional security enforcement (i.e. IP-based filtering) is needed on the overall Gerrit HTTP protocol. It is very useful for avoiding the usage of Apache HTTP front-end reverse-proxy and associated problems such as REST API URL mangling. Another typical usage is in conjunction with the auth.type = HTTP and an associated auth.httpheader: instead of putting an entire Apache HTTP Proxy in front of Gerrit, just configure a simple Servlet packaged in a JAR on the $GERRIT_SITE/lib directory. Change-Id: Ide58854a9335b37fe837f1ef612dd4cb41b388b1