URLStreamHandler.java (toExternalForm): Print port only if host is printed too…

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

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

+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

libjava/java/net/URLStreamHandler.java

@@ -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);