tree 5e22f91e6833b1bcdf58b70f1d0db237bc5b1aeb
parent ac61e0421c05a407a5d39f66a35341f22a9e0bee
author Shawn O. Pearce <sop@google.com> 1246497030 -0700
committer Shawn O. Pearce <sop@google.com> 1246497030 -0700

Drop the unnecessary host page servlet name from URLs

We don't actually need to redirect clients to "/Gerrit" but can
instead have the UrlRewriteFilter serve the host page to them
when the URL is "" or "/".  This cuts down on a redirect when
visiting the homepage for the site, but it also makes URLs a
tiny bit shorter by removing 6 letters.

Signed-off-by: Shawn O. Pearce <sop@google.com>