You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by jf...@apache.org on 2003/10/01 15:42:55 UTC
cvs commit: jakarta-servletapi-5/jsr154/src/share/javax/servlet ServletRequest.java
jfarcand 2003/10/01 06:42:55
Modified: jsr154/src/share/javax/servlet ServletRequest.java
Log:
Fix the confusing description in getServerName() and getServerPort() - change "host header" to "host header value".
Submitted by: Yutaka Yoshida
Revision Changes Path
1.9 +2 -2 jakarta-servletapi-5/jsr154/src/share/javax/servlet/ServletRequest.java
Index: ServletRequest.java
===================================================================
RCS file: /home/cvs/jakarta-servletapi-5/jsr154/src/share/javax/servlet/ServletRequest.java,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- ServletRequest.java 30 Sep 2003 19:49:00 -0000 1.8
+++ ServletRequest.java 1 Oct 2003 13:42:55 -0000 1.9
@@ -351,7 +351,7 @@
/**
* Returns the host name of the server to which the request was sent.
* It is the value of the part before ":" in the <code>Host</code>
- * header, if any, or the resolved server name, or the server IP address.
+ * header value, if any, or the resolved server name, or the server IP address.
*
* @return a <code>String</code> containing the name
* of the server
@@ -365,7 +365,7 @@
/**
* Returns the port number to which the request was sent.
* It is the value of the part after ":" in the <code>Host</code>
- * header, if any, or the server port where the client connection
+ * header value, if any, or the server port where the client connection
* was accepted on.
*
* @return an integer specifying the port number
---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org