mirror of
https://github.com/corda/corda.git
synced 2025-06-15 21:58:17 +00:00
various performance tweaks and bugfixes
This commit is contained in:
@ -52,9 +52,9 @@ public abstract class URLStreamHandler {
|
||||
|
||||
protected String toExternalForm(URL url) {
|
||||
StringBuilder sb = new StringBuilder();
|
||||
sb.append(url.getProtocol()).append("://");
|
||||
sb.append(url.getProtocol()).append(":");
|
||||
if (url.getHost() != null) {
|
||||
sb.append(url.getHost());
|
||||
sb.append("//").append(url.getHost());
|
||||
if (url.getPort() >= 0) {
|
||||
sb.append(":").append(url.getPort());
|
||||
}
|
||||
|
Reference in New Issue
Block a user