/Play/shell.js

1var decoder = new Decoder();
2
3var ptr = new Uint8Array(read("Media/admiral.264"));
4
5time = new Date();
6decoder.decode(ptr);
7println("Elapsed: " + (new Date().getTime() - time.getTime()) + " ms");