408 |
// The 1.2 doc specifically says these are copied to the new URL. |
// The 1.2 doc specifically says these are copied to the new URL. |
409 |
host = context.host; |
host = context.host; |
410 |
port = context.port; |
port = context.port; |
|
file = context.file; |
|
411 |
userInfo = context.userInfo; |
userInfo = context.userInfo; |
|
if (file == null || file.length() == 0) |
|
|
file = "/"; |
|
412 |
authority = context.authority; |
authority = context.authority; |
413 |
} |
} |
414 |
} |
} |
420 |
protocol = context.protocol; |
protocol = context.protocol; |
421 |
host = context.host; |
host = context.host; |
422 |
port = context.port; |
port = context.port; |
|
file = context.file; |
|
423 |
userInfo = context.userInfo; |
userInfo = context.userInfo; |
424 |
if (file == null || file.length() == 0) |
if (spec.indexOf(":/", 1) < 0) |
425 |
file = "/"; |
{ |
426 |
|
file = context.file; |
427 |
|
if (file == null || file.length() == 0) |
428 |
|
file = "/"; |
429 |
|
} |
430 |
authority = context.authority; |
authority = context.authority; |
431 |
} |
} |
432 |
else // Protocol NOT specified in spec. and no context available. |
else // Protocol NOT specified in spec. and no context available. |