* java/net/URLStreamHandler.java (toExternalForm): Print port only
if host is printed too and port was really given to URL.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@73445
138bc75d-0d04-0410-961f-
82ee72b054a4
+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
}
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);