265 |
return true; |
return true; |
266 |
// This comparison is very conservative. It assumes that any |
// This comparison is very conservative. It assumes that any |
267 |
// field can be null. |
// field can be null. |
268 |
if (url1 == null || url2 == null || url1.getPort() != url2.getPort()) |
if (url1 == null || url2 == null) |
269 |
|
return false; |
270 |
|
int p1 = url1.getPort (); |
271 |
|
if (p1 == -1) |
272 |
|
p1 = url1.handler.getDefaultPort (); |
273 |
|
int p2 = url2.getPort (); |
274 |
|
if (p2 == -1) |
275 |
|
p2 = url2.handler.getDefaultPort (); |
276 |
|
if (p1 != p2) |
277 |
return false; |
return false; |
278 |
String s1, s2; |
String s1, s2; |
279 |
s1 = url1.getProtocol(); |
s1 = url1.getProtocol(); |