tree d623b6e48c0b3f69392a3e87f4a4dc2893a0361c
parent 34958def9989b75be3c01ba37cf644a7d3de4ef6
author Luca Milanesio <luca.milanesio@gmail.com> 1570187399 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1570193397 +0100

Allow using healthcheck on slaves

Gerrit slaves do not bind the REST-API servlet: the standard
binding of the HealthCheck API would not work at all.

Define on slaves a special servlet filter that is filtering
exactly the HealthCheck API and serves exactly the same content
in the same way.

Change-Id: I6ab4524dcaa96d8571c3fad2eb03624f00902943