URLStreamHandler.java (toExternalForm): Ignore port if zero or smaller.

* java/net/URLStreamHandler.java (toExternalForm): Ignore port
	if zero or smaller.

From-SVN: r60657
This commit is contained in:
Mark Wielaard 2002-12-30 22:41:10 +00:00 committed by Mark Wielaard
parent 582f6e6d63
commit a88c283f0d
2 changed files with 6 additions and 1 deletions

View File

@ -1,3 +1,8 @@
2002-12-30 Mark Wielaard <mark@klomp.org>
* java/net/URLStreamHandler.java (toExternalForm): Ignore port
if zero or smaller.
2002-12-30 Mark Wielaard <mark@klomp.org>
* java/util/Properties (formatForOutput): Don't fall through to

View File

@ -436,7 +436,7 @@ public abstract class URLStreamHandler
// ignores a non-default port if host is null or "". That is inconsistent
// with the spec since the result of this method is spec'ed so it can be
// used to construct a new URL that is equivalent to the original.
boolean port_needed = port >= 0 && port != getDefaultPort();
boolean port_needed = port > 0 && port != getDefaultPort();
if (port_needed)
sb.append(':').append(port);