equal
deleted
inserted
replaced
334 "host was unspecified or specified as \"localhost\"")); |
334 "host was unspecified or specified as \"localhost\"")); |
335 } |
335 } |
336 String url = "rmi://"; |
336 String url = "rmi://"; |
337 |
337 |
338 // Enclose IPv6 literal address in '[' and ']' |
338 // Enclose IPv6 literal address in '[' and ']' |
339 url = (host.indexOf(":") > -1) ? url + "[" + host + "]" : |
339 url = (host.indexOf(':') > -1) ? url + "[" + host + "]" : |
340 url + host; |
340 url + host; |
341 if (port > 0) { |
341 if (port > 0) { |
342 url += ":" + Integer.toString(port); |
342 url += ":" + Integer.toString(port); |
343 } |
343 } |
344 RefAddr addr = new StringRefAddr(RegistryContextFactory.ADDRESS_TYPE, |
344 RefAddr addr = new StringRefAddr(RegistryContextFactory.ADDRESS_TYPE, |