}
public static Res stringToRes(String url) {
- if (url.indexOf('!') != -1)
- return (Res)(new Zip(stringToRes(url.substring(0, url.lastIndexOf('!')))).
- get(url.substring(url.lastIndexOf('!') + 1)));
+ if (url.indexOf('!') != -1) {
+ Res ret = new Zip(stringToRes(url.substring(0, url.lastIndexOf('!'))));
+ String subpath = url.substring(url.lastIndexOf('!') + 1);
+ if (subpath.length() > 0) ret = (Res)ret.get(subpath);
+ return ret;
+ }
if (url.startsWith("http://")) return new HTTP(url);
if (url.startsWith("https://")) return new HTTP(url);
if (url.startsWith("cab:")) return new CAB(stringToRes(url.substring(4)));
ZipEntry ze = zis.getNextEntry();
while(ze != null && !ze.getName().equals(path)) ze = zis.getNextEntry();
if (ze == null) throw new JS.Exn("requested file (" + path + ") not found in archive");
- return zis;
+ return new KnownLength.KnownLengthInputStream(zis, (int)ze.getSize());
}
}
/** shadow resource which replaces the graft */
public static class ProgressWatcher extends Res {
- Res watchee;
+ final Res watchee;
JS.Callable callback;
ProgressWatcher(Res watchee, JS.Callable callback) { this.watchee = watchee; this.callback = callback; }
public InputStream getInputStream(String s) throws IOException {
- return new FilterInputStream(watchee.getInputStream(s)) {
+ final InputStream is = watchee.getInputStream(s);
+ return new FilterInputStream(is) {
int bytesDownloaded = 0;
public int read() throws IOException {
int ret = super.read();
ThreadMessage.newthread(new JS.Callable() { public Object call(JS.Array a) {
JS.Array args = new JS.Array();
args.addElement(new Integer(bytesDownloaded));
+ args.addElement(new Integer(is instanceof KnownLength ? ((KnownLength)is).getLength() : 0));
callback.call(args);
return null;
} });