From a88c283f0d61db1fdd1c008728f05d6390c1e7fd Mon Sep 17 00:00:00 2001
From: Mark Wielaard <mark@klomp.org>
Date: Mon, 30 Dec 2002 22:41:10 +0000
Subject: [PATCH] URLStreamHandler.java (toExternalForm): Ignore port if zero
or smaller.
* java/net/URLStreamHandler.java (toExternalForm): Ignore port
if zero or smaller.
From-SVN: r60657
---
libjava/ChangeLog | 5 +++++
libjava/java/net/URLStreamHandler.java | 2 +-
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/libjava/ChangeLog b/libjava/ChangeLog
index eba4d6b9b1c9..9c2bd5328161 100644
--- a/libjava/ChangeLog
+++ b/libjava/ChangeLog
@@ -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
diff --git a/libjava/java/net/URLStreamHandler.java b/libjava/java/net/URLStreamHandler.java
index 128a0d2d3da0..7f866440f2f6 100644
--- a/libjava/java/net/URLStreamHandler.java
+++ b/libjava/java/net/URLStreamHandler.java
@@ -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);
--
GitLab