tree fee86d5d6ac9810f6d6b0612115d423e53c08dee
parent 83c28f02f4039f60a0b01ed159fa3a255b4018f9
author Shawn Pearce <sop@google.com> 1451756278 -0800
committer Shawn Pearce <sop@google.com> 1452019354 -0800

Make HEAD cheaper for RepositoryIndex

On HEAD requests avoid doing any log processing or content generation
and just issue back 200 OK.  This allows clients to use HEAD to probe
for existance of a repository and get back 200 OK from the servlet or
404 Not Found from the higher level resolving filter.

Provide the same in HostIndexServlet to look for subdirectories of
repositories.  If there are no repositories with that prefix return
404 Not Found.

Change-Id: Ie69a7da327f1c01a214ca8608580b51577ad9ce2