URLStreamHandler.java (toExternalForm): Print port only if host is printed too and...
authorMichael Koch <konqueror@gmx.de>
Tue, 11 Nov 2003 11:34:24 +0000 (11:34 +0000)
committerMichael Koch <mkoch@gcc.gnu.org>
Tue, 11 Nov 2003 11:34:24 +0000 (11:34 +0000)
2003-11-11  Micheal Koch  <konqueror@gmx.de>

* java/net/URLStreamHandler.java (toExternalForm): Print port only
if host is printed too and port was really given to URL.

From-SVN: r73445

libjava/ChangeLog
libjava/java/net/URLStreamHandler.java

index 0d62f8f..18cb980 100644 (file)
@@ -1,3 +1,7 @@
+2003-11-11  Micheal Koch  <konqueror@gmx.de>
+
+       * java/net/URLStreamHandler.java (toExternalForm): Print port only
+       if host is printed too and port was really given to URL.
 2003-11-10  Gary Benson  <gbenson@redhat.com>
 
        * java/sql/Timestamp.java (valueOf): Correctly handle
index 9198370..a05e474 100644 (file)
@@ -478,11 +478,13 @@ public abstract class URLStreamHandler
       }
 
     if (host.length() != 0)
-      sb.append("//").append(host);
+      {
+        sb.append("//").append(host);
 
-    // Append port if port was in URL spec.
-    if (port != -1)
-      sb.append(':').append(port);
+        // Append port if port was in URL spec.
+        if (port >= 0)
+          sb.append(':').append(port);
+      }
 
     sb.append(file);