public class LegacyGerritServlet
extends javax.servlet.http.HttpServlet
/Gerrit#foo to /#foo in JavaScript.
This redirect exists to convert the older /Gerrit URL into the more modern URL format which does not use a servlet name for the host page. We cannot do the redirect here in the server side, as it would lose any history token that appears in the URL. Instead we send an HTML page which instructs the browser to replace the URL, but preserve the history token.
| Modifier and Type | Method and Description |
|---|---|
protected void |
doGet(javax.servlet.http.HttpServletRequest req,
javax.servlet.http.HttpServletResponse rsp) |
doDelete, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, serviceprotected void doGet(javax.servlet.http.HttpServletRequest req,
javax.servlet.http.HttpServletResponse rsp)
throws IOException
doGet in class javax.servlet.http.HttpServletIOException