Yes, I see. I've tried to dig more.

As far as I understand super() for that place refers to Jetty Response class,

http://grepcode.com/file/repo1.maven.org/maven2/org.eclipse.jetty.aggregate/jetty-webapp/8.0.0.v20110901/org/eclipse/jetty/server/Response.java#Response.sendRedirect%28java.lang.String%29

Which initializes path with

String path=_connection.getRequest().getRequestURI();

Request is Jetty Request, which do the same thing with port there

http://grepcode.com/file/repo1.maven.org/maven2/org.eclipse.jetty.aggregate/jetty-all/7.1.0.v20100505/org/eclipse/jetty/server/Request.java#942

public StringBuilder getRootURL()
     {
         StringBuilder url = "" class="code-keyword">new StringBuilder(48);
         String scheme = getScheme();
         int port = getServerPort();
 
         url.append(scheme);
         url.append("://");
         url.append(getServerName());
 
         if (port > 0 && ((scheme.equalsIgnoreCase("http") && port != 80) || (scheme.equalsIgnoreCase("https") && port != 443)))
         {
             url.append(':');
             url.append(port);
         }
         return url;
     }
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira

--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to