|
|
@ -396,7 +396,7 @@ public final class plasmaHTCache {
|
|
|
|
if (!(remotePath.startsWith("/"))) remotePath = "/" + remotePath;
|
|
|
|
if (!(remotePath.startsWith("/"))) remotePath = "/" + remotePath;
|
|
|
|
if (remotePath.endsWith("/")) remotePath = remotePath + "ndx";
|
|
|
|
if (remotePath.endsWith("/")) remotePath = remotePath + "ndx";
|
|
|
|
if (remotePath.indexOf('#') > 0) remotePath.substring(0, remotePath.indexOf('#'));
|
|
|
|
if (remotePath.indexOf('#') > 0) remotePath.substring(0, remotePath.indexOf('#'));
|
|
|
|
remotePath.replace('?', '_'); remotePath.replace('&', '_'); // yes this is not reversible, but that is not needed
|
|
|
|
remotePath = remotePath.replace('?', '_'); remotePath = remotePath.replace('&', '_'); // yes this is not reversible, but that is not needed
|
|
|
|
int port = url.getPort();
|
|
|
|
int port = url.getPort();
|
|
|
|
if (port < 0) port = 80;
|
|
|
|
if (port < 0) port = 80;
|
|
|
|
return new File(this.cachePath, url.getHost() + ((port == 80) ? "" : ("+" + port)) + remotePath);
|
|
|
|
return new File(this.cachePath, url.getHost() + ((port == 80) ? "" : ("+" + port)) + remotePath);
|
|
|
|