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)
commite055c0677062fe1888fd992e65fe67a6dbd283a8
tree6008bc05268a2f652ae8b4557f9ca69c22a54cb6
parentf921c9c9e014aae6d3117d8c4ae2488f2ba73434
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
libjava/java/net/URLStreamHandler.java